Faça um programa cliente/servidor multithread onde:

EXERCÍCIOS – Máquinas de Turing 1. Seja M = (K, ∑, δ, s), em que K = {q0, q1, q2}, ∑ = {a, b, #}, s = q0, e δ é fornecido pela tabela abaixo: q δ(q, σ) σ q0 a (q1, L) q0 b (q0, R) q0 # (q0, R) q1 a (q1, L) q1 b (q2, R) q1 # (q1, L) q2 a (q2, R) q2 b (q2, R) q2 # (h, ‘#’) a) Execute a máquina a partir da configuração inicial (q0, abb#bb##aba). b) Descreva informalmente o que realiza M, e o que M faria se fosse iniciada em qualquer outro quadrado da fita. 2. Construa uma máquina de Turing simples para decidir as cadeias de L={w ∈ {a,b}*| w tem 2 “a” consecutivos}. 3. Demonstre o lema que permite a construção de máquinas de Turing compostas. 4. Explique o que a máquina de Turing composta abaixo faz (exercite-a com a seguinte entrada #abab##): >L σ≠# RσL σ=# R (#) R# 5. Construa uma máquina de Turing composta para efetuar a operação "monus" entre dois números naturais escritos em unário (se o parâmetro da esquerda é maior que o da direita o resultado é a subtração, senão o resultado é zero, isto é, a fita será apagada). 6. Idem anterior para a operação “div”. 7. Idem anterior para a operação “mod”. 8. Construa uma máquina de Turing composta para multiplicar dois números naturais escritos em unário. Sugestão: Utilize a máquina de cópia, depois una as cadeias com outra máquina (descreva as máquinas separadamente e depois monte a estrutura conjunta). 9. Construa uma Máquina de Turing para decidir anbncn. 10.…

LISTA DE EXERCÍCIOS DE TEORIA DA COMPUTAÇÃO – 2013.2 PROFSSORA ELIANA ALMEIDA • Sobre Máquinas de Turing (MT) e o problema da parada • Construa MT que reconheça: ▪ L = {am bn / m ≠ n} ▪ L = {xwwRy / x, y, w ∈ {0, 1}* e | x | >= | y|} 1. Mostre que o problema da parada é indecidível para linguagens de alto nível (linguagens que contém procedimentos e o comando enquanto – repetição indefinida) 2. Descreva uma Máquina de Turing que resolva o seguinte problema de decisão: Dada uma MT…

Quem criou e quais são as operações realizadas pela máquina Pascaline? A Pascalina foi construída por entre 1642-1644, quando Blaise Pascal tinha cerca de 20 anos de idade. Apenas conseguia fazer diretamente operações de adição e subtração. As operações de multiplicação e divisão podiam ser feitas por repetição. 4. Qual a contribuição para a informática, dada por Alan Turing? Ele foi pioneiro na teoria dos computadores e podemos considerá-lo o pai do computador contemporâneo.…

1-Descreva uma contribuição significativa na área da computação, de cada uma das pessoas apresentadas a seguir. •Blaise Pascal: inventou a primeira calculadora capaz de realizar as operações básicas de soma, Subtração em 1642. •Gottfried Wilhelm Leibnitz: oi o primeiro a perceber que a anatomia da lógica - “as leis do pensamento”- é assunto de análise combinatória. Em 1666 escreveu De Arte Combinatória, no qual formulou um modelo que é o precursor teórico de computação moderna: todo…

Notas de Aula em Teoria da Computação Prof. Leandro M. Zatesko 2o. semestre de 2014 Esta página foi intencionalmente deixada em branco. A vida não é um problema para ser resolvido, mas uma realidade para ser experienciada. Søren A. Kierkegaard Prefácio Escrevi estas Notas de Aula para o curso de Teoria da Computação da Universidade Federal da Fronteira Sul ministrado no 2o. semestre de 2014 com os objetivos apenas de padronizar notações matemáticas e orientar os…

História da Máquina Turing Breve Histórico: 1936: Alan Turing propôs um modelo conhecido como Máquina de Turing. Máquina de Turing é a formalização de um procedimento (seqüência finita de instruções), que pode ser realizado mecanicamente em tempo finito. → Alonzo Church apresentou Hipótese de Church: “Qualquer procedimento pode ser descrito por uma Máquina de Turing”. → Qualquer computação que pode ser descrita por uma Máquina de Turing pode ser executada mecanicamente ou…

autômato de pilha de uma gramática 2. A receita e mais um exemplo 3. Provando a receita 4. Autômatos de pilha cordatos 5. A gramática de um autômato de pilha 6. Exercícios 123 123 126 128 130 132 137 Capítulo 14. Máquinas de Turing 1. Exercícios 139 139 Capítulo 15. Máquinas de Turing e Linguagens 1. Conectando Máquinas em Paralelo 2. Fechamento de linguagens 3. A máquina de Turing universal 4. Comportamento de U 5. Linguagens não recursivas 6. O problema…

Computação: Máquinas Universais e Computabilidade. Porto Alegre: Sagra Luzzato, 2000. MENEZES, P. B.: Linguagens Formais e Autômatos. Porto Alegre: SagraLuzzato, 2001. LINZ, P.: Na Introduction to Formal Languages and Automata, Boston: Jones and Bartlett Publishers, 2006 COMPLEMENTAR: • • SIPSER,M.: Introduction to the Theory of Computation, Second Edition, Course Technology; 2005 GREENLAW,R.; HOOVER,H.J.: Fundamentals of the Theory of Computation, Morgan Kaufmann; 1998 …

Chomsky  Linguagens enumeráveis recursivamente (Tipo 0): • Tipo de linguagem formal, também conhecida como Turing -reconhecível • Definições de linguagens enumeráveis recursivamente formais: o É um subconjunto recursivamente enumerável no conjunto de todas as palavras possíveis sob o alfabeto da linguagem; o É uma linguagem formal para a qual existe uma máquina de Turing que irá enumerar todas as cadeias válidas da linguagem; o Uma linguagem recursivamente…

computer. Learn the concepts of automata and Turing machines can be difficult without a simulation tool. Fortunately, due to the initiative of Professor Susan Rodgers, a tool written in Java was created to fill this niche. This guide is dedicated to show how to obtain and perform basic operations with JFLAP. Student achievement in undergraduate computing depends on understanding these with respect to the theoretical foundations of disciplines such as Algorithms and theory of computation.…