Considerados sistemas artificiales que podrían modelarse como máquinas de estado finito.