Pertenecen al área especifica de Matemáticas discretas en la rama de autómatas y lenguajes formales, y su implementacion va desde analizadores lexicograficos en compiladores, hasta reconocimiento de patrones.
Temas interesantes relacionados: Maquina de Turing Autómatas finitos, deterministas y no deterministas