Aspectos teoricos da compt.

DP 1

1- Hierarquia de Chomsky classifica a gramatica em quatro niveis diferentes,

sendo estes:

Gramaticas regulares: Definidas pela quatrupla (V,T,R,S) onde V um

conjunto finito de variaveis, T um conjunto finito, disjunto de V, R um
conjunto finito de regras, onde cada regra uma variavel e S a variavel
inicial.

Gramatica livre de contexto definida por uma quatrupla G = (V, E, R, S)

onde V um conjunto finito de elementos, E um conjunto finito de
terminais, disjunto de V, R uma relao finita de V para (V u E), os
membros de R so regras de substituio ou produo da gramatica e S a
variavel inicial.

Gramaticas sensiveis ao contexto so aquelas que possuem regras de

substituio e devem obedecer estas regras.

Gramatica com estrutura de frase so aquelas s quais nenhuma limitao

imposta.

2- Maquina de estados finitos um modelo matematico que utilizado para

a representao de programas de computadores ou de circuitos logicos.
Sendo basicamente uma representao de estados, transies e aes.

3- Maquina de Turing um dispositivo teorico, idealizado bem antes dos

modernos computadores por Alan Turing, se trata de um modelo abstrato de
um computador em seus aspectos lgicos de funcionamento "memria,
estados e transies" e no em sua implementao fsica.

Sua descrio formal uma fita dividida emvrias clulas, cada clula
contendo um smbolo de algum alfabeto finito, o alfabeto contem um
simbolo especial branco "", a fita pode se deslocar tanto para a direita
como para a esquerda.

Um cabeote que escreve simbolos nesta fita tanto para a esquerda como
para a direita.

Um registrador de estados que armazena o estado da maquina de Turing.

Uma tabela de ao que avisa maquina que simbolo escrever, como por
exemplo: mover o cabeote para a direita e para a esquerda, qual sera seu
novo estado, se nao houver entrada alguma na tabela para a combinao
atual de simbolo e estado ento a maquina para.