-Modelos de estados finitos - so modelos em que o sistema possui um nmero finito de estados, e esse nmero geralmente um nmero pequeno.

. Existe uma coleo de eventos ou transies que alteram o estado do sistema. -Algumas aplicaes que pode-se modelar com MEF. Sistemas fsicos com poucos estados: (portas: aberta/fechada/trancada) (lmpadas: ligada/desligada) (elevadores: andar, cima, baixo) Aparelhos ou programas com User Interface Simples. Quiosques de informaes: (terminal interativo com mapas) Jogos simples: (abertura, menu principal, jogo em si, opes) Dvd Player: (apresentao, menu principal, filme em si) Maquinas de estados so bastante utilizadas no desenvolvimento de software (busca textual, IA para jogos, So bastante similares aos Autmatos Finitos Determinsticos. Exemplo: Maquina de refrigerante

AFD - definio matemtica de mquinas de estados Um AFD M especificado por 5 componentes: M = (, Q, delta, q0, F) - alfabeto de entrada Q - conjunto de estados delta - funo transio do autmato (essa funo que dita o comportamento) q0 - estado inicial (q0 pertence a Q) F - conjunto de estados de aceitao (F est contido em Q) A funo de transio deve dizer ao autmato pra que estado ele deve ir quando um determinado smbolo acontecer. Linguagem de M L(M) conjunto das cadeias w sobre o alfabeto do autmato que so aceitas pelo autmato M. Uma linguagem formal A uma linguagem regular se, e somente se, existe um AFD M tal L(M) = A. Se A regular => existe AFD M com L(M) = A. Se M um AFD => L(M) uma linguagem regular.