Para esta semana a partir de los capítulos 3 y 4 del líbro tenemos que hacer lo siguiente.
Primero definimos lo
que es w-autómata
En la teoría de autómatas, una rama de la informática
teórica, un ω autómata-(o corriente autómata) es una variación del autómata
finito que se ejecuta en cadenas infinitas, y no finito, como entrada.
Q es un conjunto finito .
Los elementos de Q son llamados los estados.
Σ es un conjunto finito llamado el alfabeto de
la A.
δ: Q × Σ → Q es
una función, llamada función de transición de A.
q 0 es
un elemento de Q, llamado el estado inicial.
Expresiones Regulares
Una expresión regular, a menudo llamada también patrón, es
una expresión que describe un conjunto de cadenas sin enumerar sus elementos. La
mayoría de las formalizaciones proporcionan los siguientes constructores: una
expresión regular es una forma de representar a los lenguajes regulares
(finitos o infinitos) y se construye utilizando caracteres del alfabeto sobre
el cual se define el lenguaje.
Inventen una expresión ω-regular con por lo menos dos símbolos y por lo menos dos operadores.
Tenemos nuestro alfabeto:
Dibujen el NBA (e) que le corresponde.
La expresión que definí es la siguiente:
Esta es la representación autómata de la expresión:
Libro: Principles of Model Checking
http://en.wikipedia.org/wiki/%CE%A9-automaton
http://www.tcs.tifr.res.in/~pandya/grad/aut06/lect4.pdf
http://es.wikipedia.org/wiki/Expresi%C3%B3n_regular
Te fuiste antes de que te pude calificar, pero este autómata está mal. La repetición omega de la parte A*C no está bien expresado - siempre comienza a fuerzas con una C. Van 6 pts.
ResponderEliminar