Formas Normales de Chomsky Una GLC se dice que est en Forma Normal de Chomsky (FNC) si todas sus producciones

son de la forma: Excepcionalmente se permite la produccin La idea de la transformacin de una gramtica limpia a FNC se ejecuta en dos pasos: Hacer que en la parte derecha de las producciones de longitud mayor o igual que dos slo haya terminales. Trocear estas producciones para que tengan longitud dos. Algoritmo FNC: 1. Para cada produccin de la forma (a) Para cada i, si i es terminal: - Se aade la produccin Ca a - Se cambia i por Ca en A 1..n 2. Para cada produccin de la forma A B1...Bm, m 3 (a) Se aaden (m-2) no terminales D1, D2, ..., Dm-2 (distintos para cada produccin) (b) La produccin A B1...Bm se reemplaza por A B1D1, D1 B2D2, ... Dm-2 Bm-1Bm

CONCEPTOS ESPECIFICOS

Existen otros diferentes tipos de Mquinas de Estado Finito para modelar mquinas decmputo, que son llamadas Mquinas secuenciales. Hay un tipo tradicional en el que lassalidas corresponden a transiciones entre estados y estas representaciones son conocidascomo

Mquinas de Mealy

, ya que fueron primeramente estudiadas por George H. Mealy en1955. Adicionalmente existe otro tipo importante de Mquina de Estado Finito con salida,donde esta ltima es determinada slo por el estado y se la conoce como

Mquina deMoore

, ya que Edward Forrest Moore introdujo este tipo de Mquina en 1956. Se observauna estrecha relacin de las Mquinas de Mealy con las de Estado Finito y de la de Moorecon los Autmatas de Estado Finito que se estudiarn el siguiente captulo. Una Mquina deMoore puede convertirse en una de Mealy equivalente aadiendo ms estados y haciendolas modificaciones necesarias.Queda para el estudiante investigar ms sobre estas dos variantes de Mquinas deEstado Finito, muy usuales en el rea de aplicacin de los

Circuitos Digitales Secuenciales

.Un proyecto final de este curso consistir en disear e implementar un programa querepresente una aplicacin del modelo de una Mquina de Estado Finito en un caso prcticoque generalmente tiene relacin con una simulacin.Hay una relacin muy estrecha entre Mquinas y Autmatas de Estado Finito. Dehecho, stos ltimos son un subconjunto de las primeras. La forma como se relacionan seestudiar en el siguiente captulo, donde se tratarn con detalle sus caractersticas.

Queda pendiente el empleo de las Mquinas de Estado Finito para representarsistemas electrnicos, computacionales o, en general, del mundo real. En el siguientecaptulo se analizarn en forma detallada ciertos casos de aplicacin, como la mquinadespachadora de refrescos, diseada cmo Mquina y como Autmata de EstadoFinito.