PUC - IIC2223: Visualizador de autómatas ➡️⏺➡️⏺↩️

En la siguiente interfaz, podrás ingresar código de dos autómatas ➡️⏺↩️ y ver su representación visual 🎨.

Para representar un autómata, hay 3 tipos de sentencias:

• t q a p ↔️ transición desde estado q, leyendo una a, hasta estado p
• c q a p ↔️ transición desde estado q, leyendo una a, hasta estado p (con color rojo)
• i q ↔️ estado q es inicial
• f q ↔️ estado q es final

Ya que el posicionamiento 🗺 de estados no es perfecto 😕, puedes arrastrar 🤚 un estado ⏺ y fijar 🔨 su posición tu mismo. Si haces click 👆 sobre el, se des-fija ❌🔨.