Es posible encontrar otros tipos de
clasificaciones para el conjunto de máquinas abstractas, una
de ellas pueden clasificarse en máquinas traductoras y
máquinas reconocedores. Entre las máquinas
traductoras encontramos a las máquinas secuenciales ya que
éstas producirán una salida, que se
corresponderá con la entrada desde el exterior. Con respecto
a las máquinas reconocedoras, estas son las que a diferencia
de las anteriores, solo de dedican a aceptar o no aceptar cadenas
recibidas desde el exterior.
Otra clasificación posible,
estará en función a como serán las
transiciones entre estados, las cuales pueden plantearse de dos maneras
posibles: Deterministas y no Deterministas. Las transiciones
deterministas son aquellas que al encontrarse la máquina en
un determinado estado y ante una entrada tendrá la
posibilidad de transitar a uno y solo uno de los estados
posibles. Por otro lado las no deterministas, serán aquellas
que a diferencia de las anteriores tendrán la posibilidad de
transitar a mas de un estado, o más aún
también se podrá presentar cuando estando la
máquina en un determinado estado tenga la posibilidad de
transitar a un nuevo estado sin haber recibido una entrada (este tipo
de transición de la denominará Transiciones
)
|