Atps Teoria da Computação

...

- 1,0,1,1,S1 = Entrada do visitante, Barrado no detector de metais, Passo do detector de metais, Passou pelo leitor de cartão magnético, Passou pela porta de acesso e acessou a Sala 1 de Visita.

[pic 11]

- 1,1,1,S1 = Entrada do visitante, Passou pelo detector de metais, Passou pelo leitor de cartão magnético, Passou pela porta de acesso e Chegou a Sala 1 de Visita.

[pic 12]

- 1,1,0,S1 = Entrada do visitante, Passou pelo detector de metais, Não adquiriu um cartão magnético, Tentou acesso direto a Sala 1 de Visita e foi barrado.

[pic 13]

Etapa 3

Relatório 03 Verificação de acesso dos agentes Prisionais.

Para a verificação e liberação de acesso dos agentes Prisionais foram gerados duas linguagens de níveis diferentes que serão representadas por permissões de Nivel 1 e Nivel 2. A linguagem será representada por L¹ (Nivel 1) e L²(Nivel 2).

Com isso foi criado a maquina de Turing que será responsável por verificar se os códigos dos cartões dos agentes penitenciários são validos para o nível 1.

[pic 14]

Linguagem de nível 1 (L¹): {X,Y}

Será representada por cinco entradas validas:

- XXYXY

[pic 15]

- XYYYX

[pic 16]

- XYXYX

[pic 17]

- XYXXY

[pic 18]

- XYYXY

[pic 19]

E contará com duas entradas invalidas:

- XXXYY

[pic 20]

- YXYXY

[pic 21]

Também foi criado a maquina de Turing que será responsável por verificar se os códigos dos cartões dos agentes penitenciários são validos para o nível 1 e 2.

[pic 22]

Linguagem de nível 2 (L²): {X,Y,W}

Será representada por cinco entradas validas:

- XWYYX

[pic 23]

- WWYWW

[pic 24]

- XXYYW

[pic 25]

- WXXYX

[pic 26]

- WWWYW

[pic 27]

E contará com duas entradas invalidas:

- WXWXW

[pic 28]

- XWYYY

[pic 29]

CONCLUSÃO

Com a utilização de autômatos é possível realizar a construção de diversos diagramas distintos com muita facilidade, proporcionando eficiente na estrutura e no planejamento do projeto proposto pelo ATPS. E com o uso dos autômatos finitos determinísticos adotados nessa primeira etapa, por exemplo, foi possível elaborar o percurso de um visitante evitando qualquer caminho adverso no presídio.

E durante a execução o programa baseia-se nas funções de transição definidas pelo programador do autômato para aceitar ou não a palavra de entrada, um autômato finito determinístico nunca pode falhar então todas as possibilidades de entrada aceitas devem funcionar e o mesmo com entradas não aceitas devem ser recusados.

REFERÊNCIAS BIBLIOGRÁFICAS

e-book: Linguagens Formais e Autômatos. Disponível em: . Acesso em: 04 junho 2016.

Coutinho, S.C. Autômatos e Linguagens Formais. Disponível em: . Acesso em: 04 junho 2016.