Lista de Exercicios Linguagens Formais
-
Upload
wellington-lima -
Category
Documents
-
view
10 -
download
1
description
Transcript of Lista de Exercicios Linguagens Formais
LISTA DE EXERCCIOS 1
NOME: Wellington Luis de Oliveira Lima Antnio Valdeci R. Valentim JniorRA: 3226009474RA: 4243835825
CURSO: Cincias da ComputaoSRIE: 5/6 TURMA:A
DISCIPLINA: Linguagens FormaisDATA: 23/03/2015
Professor: Jos Avelino Placca
INSTRUES:
Durao: o tempo da aula
O trabalho em grupo e com consulta;Nota Trabalhos:
01. (EM LABORATRIO) Implementar um algoritmo em Linguagem C que leia uma string (tamanho mximo de 10 caracteres) e verifique se a mesma pertence a linguagem T* do alfabeto T = {a,b}.
Exemplo:
Entrada: abc
Sada: No pertence (o smbolo c no faz parte do alfabeto)
Entrada: aabaa
Sada: Pertence (todos os smbolos fazem parte do alfabeto)
OBS. O algoritmo proposto prova que o conjunto T* um conjunto RECURSIVO (pois possvel para qualquer cadeia identificar se a mesma pertence ou no ao conjunto)Resposta:
#include
#include
#include
int main() { //Foi declarado o vetor de 11 posies pois 10 so para os valores do alfabeto e a ltima posio para o smbolo terminal "\0"
char alfabeto[11], alfaT[] = {'a','b'}, op;
int i=0, pertence=0;
printf("Digite os caracteres do alfabeto a ser comparado: ", i+1);
gets(alfabeto);
for(i=0; i a
S -> aS -> aaS -> aaaG2= S -> AS -> aS -> aAS -> abS -> aSb -> aASb -> aaSb ->
Obs.: Processo de derivao infinita.
G3 = S -> AS -> aAS -> aaAS -> aaaS -> aaab
S -> AS -> aAS -> aaAS -> aaaS -> aaaAS -> aaaaS -> aaaab
G4 = S -> ASB -> aASB -> aaSB -> aacB -> aacbB -> aacbbB -> aacbbbB -> aacbbbb
S -> ASB -> aASB -> aaASB -> aaaASB -> aaaaSB -> aaaacB -> aaaacbB -> aaaacbbB -> aaaacbbbB -> aaaacbbbb
G5 = S -> XC -> xC
S -> XC -> xXC -> xxC -> (