3. Sistemas, Modelos y Vistas View * * depicted by described by System Model flightSimulator:Model scaleModel:Model blueprints:View airplane:System fuelSystem:View electricalWiring:View
4.
5.
6.
7.
8. Autómatas Finitos Movimiento: si (q, s) = q’ entonces (q, sw) (q’, w) Sea w *, w es aceptada o reconocida por AF, si (q 0 , w) * (q, ), q F L(AF)={w w * y (q 0 , w) * (q, ), q F} Sea AF = ( Q, , , q 0 , F) un autómata finito, p Q es accesible desde q Q, si existe una palabra tal que (q, x) = p