DESCRIPCIÓN FORMAL DE LA MÁQUINA DE ESTADO FINITO Es un Modelo abstracto de una máquina con memoria interna primitiva. Se puede considerar a un computador como una máquina de este tipo. Una Máquina de Estado Finito M consiste en: a) Un conjunto finito I de...
More
DESCRIPCIÓN FORMAL DE LA MÁQUINA DE ESTADO FINITO Es un Modelo abstracto de una máquina con memoria interna primitiva. Se puede considerar a un computador como una máquina de este tipo. Una Máquina de Estado Finito M consiste en: a) Un conjunto finito I de símbolos de entrada. b) Un conjunto finito O de símbolos de salida. c) Un conjunto finito S de estados. d) Una función estado siguiente f de S X I en S e) Una función salida g de S X I en O f) Un estado inicial o, incluido en S. Se expresa con una descripción formal como M = (I, O, S , f, g, 0 ). En este caso, los símbolos de entrada y salida no deben ser necesariamente diferentes, sino más bien, según sea requerido en la especificación del diseño. Nótese que se trata de símbolos, como los que se emplearon en los módulos anteriores. DESCRIPCIÓN NO FORMAL DE LA MÁQUINA DE EDO. FINITO Se trata de un modelo matemático, representado con recursos formales (que se especificarán posteriormente), y que puede emplearse para representar o si
Less
