Máquinas de estados finitos en Forth: el enfoque de 1994 que evita los IF anidados

Finite State Machines in Forth (1994)

Esta nota de J.V. Noble, del Instituto de Física Nuclear y de Partículas de la Universidad de Virginia, presenta métodos para construir autómatas finitos deterministas y no deterministas en Forth. El método óptimo establece una relación uno a uno entre la definición y la tabla de estados del autómata, eliminando las lentas cláusulas IF anidadas. Incluye ejemplos prácticos, como un validador de números de punto fijo, y compara tres implementaciones: la de fuerza bruta con CASE, una versión mejorada con palabras definidoras y una tabla de acciones compilada.