fatorial = 1;
 Para numero = 1 até 9 com incremento de 1 for (i=1; i<10; i++ ){
 fatorial = fatorial * numero;
 mostrar número, "!=",fatorial, branco

• nem todo o identificador de operaçãoo ou teste é definido em uma máquina
• para cada identificador de operação ou teste definido em uma máquina, existe sómente uma função associada.
  

• ler um simbolo de um quadrado;
• alterar um simbolo em um quadrado;
• mover os olhos para outro quadrado;

• Fita. Usada como dispositivo de entrada, saida e memória de trabalho
• Unidade de controle. Reflete o estado corrente da máquina (numero finito e predefinido de estados). Posui uma unidade de leitura e gravação (cabeça da fita), naqual acessa uma cálcula da fita de cada vez e semovimenta da esquerda para direita.
• Programa, Função Programa ou Função de Transição. Função que define o estado da máquina e comanda as leituras dos simbolos, as gravações dos simbolos e o sentido de movimento da cabeça.

• pertencer ao alfabeto de entrada;
• pertencer ao alfabeto auxiliar;
• ser branco; 
• ser marcador de inicio de fita;
• 
  

1. Diverio,Tiaraj Asmuz . Teoria da computação. Maquinas Universais e computabilidade. 2008,1ed,Bookman.
2. Ramos, Marcus Vinicius Midena. Linguagens Formais. teoria, modelagem e implementação. 2009, Bookman.
3. Gersting, Judith L. Fundamentos matemáticos para a Ciência da computação. 2003, 5a ed. , LTC.
4. Brookshear, Clenn. Ciência da Computação Uma visão abrangente. 2003, 7a. ed. ,Bookman.
5. Sebesta, Robert W. Conceitos de Linguagens de programaação. 2002, 5a. ed. , Bookman.

• Maquina Norma. Uma máquina registradora, sendo que o conjunto de registradores é infinito.
• Máquina de Post. Baseada na estrutura de dados do tipo fila (o primeiro dado aramazenado é o primero a ser recuperado.
• Máquinas de Pilhas. Baseado na estrutura de dados do tipo pilha (o ultimo dado armazenado éo primeiro a ser recuperado), onde são necessários pelo menos duas pilhas para simular o mesmo poder computacional de uma fita ou fila.

• Sintaxe e Semantica
  Sintaxe éa forma de suas expressões de suas instruções e de suas unidades de programa.
  Semantica é o significado destes três.
  
  Ex.: sintaxe do if       if (<expr>) <instrução> 
         semântica do if    se o valor da expressãofor verdadeiro, a instrução será selecionada
  
  Método mais comum para descrever a sintaxe: a gramatica livre de contexto (também conhecida como Forma de Backus-Naur  BNF).
  A gramática de atributos pode ser usada para descrever tanto a sintaxe como a semantica estatica das linguagens de programaação
  Métodos formais para descrever a semantica  - operacional, axiomática e denotacional.
  
  
• Hierarquia de linguagens segundo ChomskyLinguagem enumeraveis recursivamente
  Correspondem a classe das maquinas universais. Portanto podem ser recnhecidas mecanicamente.
• Linguagem enumeraveis recursivamente
• São todas as linguagens que podem ser reconhecidas mecanicamente e para quais sempre existe um algoritimo de reconhecimento que sempre para qualquer entrada. Inclui a grande maioria das linguagens aplicadas. Podem ser tanto ineficientes tanto em termos de processamento como recursos de memória 
  
• Linguagens livres de contexto 
  Incluem linguagens de programação como Algol e Pascal. Os melhoores algoritimos de reconhecimento reconhecidos possuem tempo de processamento proporcional ao tamnhao da entrada elevado ao cubo.
  O tempo de reconhecimento de uma palavra é diretamente proporcional ao dobro do comprimento da entrada
  
•  Linguagens livres do contexto deterministico
  Editores de textos e protocolos de comunicação. O tempo de reconhecimento de uma palavra é diretamente proporcional ao comprimento da entrada. 
• Linguagens livres de contexto
  Editores de textos e protocolos de comunicacãoo. O tempo de reconhecimento de uma palavra é diretamente proporcional ao comprimento da entrada. Incluem linguagens de programação como Algol e Pascal. Os melhoores algoritimos de reconhecimento reconhecidos possuem tempo de processamento proporcional ao tamnhao da entrada elevado ao cubo.  
• Linguagens Recursivas
  mais restritas de Linguagem enumeraveis recursivamente para Linguagens regulares

• Tabela de decisões
  São automatas constituidos de 2 partes:
  logica combinacional  ==>  estados de transição
  Lógica é o estudo dos principios e métodos usados para destinguir sentençasverdadeiras e sentenças falsas.
  
  Proposiçãouma construção (sentença, frase, pensamento) a que se pode atribuir juizo. O tipo de juizo é verdadeiro ou falso.
  
  
• Maquina de estado
  São sistemas alggebricos que modelam um comportamento de aplicativos, projeto de hardware de sistemas digitais, engenharia de software, no estudo da computação e das linguagens.
  Finalidade:
     tradutores ou atomatoas finitos com saida
     reconhecedores de linguagem
  Elementos:
     automata finito - saida limitada a ligica binária (aceita / rejeita). gera uma palavra de saida.
     saidas - (de transisãoo - maquina de mealy) (de estado - maquina de Moore) - não pode ser lida ou seja não pode ser usada                      como memoria auxiliar.
     estado - armazena informações sobre o passado. Armazena as mudanças desde a entrada num estado atéo presente momento.                 representado por um numero circulado.
     transições - indica uma mudança de estado. Á‰ descrita por uma condição
     ações - éa descrição de uma atividade que deve ser realizada em determinado momento. Ações de entrada (no estado) executa                 a ação quando entra no estado. A ação de saida : executa quando sai do estado.. A ação de transição: executa quando                       ocorre uma determinda transição
     diagrama de estado - representa uma máquina de estado finita.
  Processo:
    determinação do grafico de estado
     tabela de estado
     eliminação de estados equivalentes
     designação de estados auxiliares
     mapas de transição (tabelas de estado e de estados auxiliares)
     mapas de entrada (mapas de transição e das tabelas de entrada)
     mapa de saida (estados auxiliares e tabela de estado)
  
  
• Grafos
  É um conjunto não vazio de n's (vertices) e um conjunto de arcos (arestas) tais que cada arco conecta dois  sistemas algébricos