Prováveis erros Slide Aula Decidibilidade

[Luiz Eduardo]

1. Aula 13 Slide 47

Erro:

 A MT M para se sua entrada é w se e somente se w ∈ L(M)

Correção:

A MT M para se, e somente se, sua entrada w pertence a L(M).

Explicação: 

Faltam vírgulas para separar as orações e a locução lógica “se e somente se”, que deve ser isolada. A estrutura também está confusa, misturando condição e consequência sem pontuação adequada.

2. Aula 13 Slide 48

Erro:

 Todos os problemas dessa classe podem ser provados como indecidíveis; já que todos têm o seguinte tipo de enunciado.

Correção:

Todos os problemas dessa classe podem ser provados como indecidíveis, já que todos têm o seguinte tipo de enunciado

Explicação: 

O ponto e vírgula separa orações independentes. Como “já que” introduz uma oração subordinada causal, o correto é usar vírgula.

3. Aula 13 Slide 50

Erro:

 Definição: uma propriedade P de LREs é trivial se é satisfeita por toda LRE ou por nenhuma

Correção:

Definição: uma propriedade P de LREs é trivial, se é satisfeita por toda LRE ou por nenhuma

Explicação: 

Falta uma vírgula para separar as orações.

4.  Aula 13 Slide 51

Erro:

 M para se a entrada é w se e somente se M' para com alguma entrada

Correção:

M para se a entrada é w se, e somente se, M' para com alguma entrada

Explicação: 

Faltam vírgulas para separar as orações e a locução lógica “se e somente se”, que deve ser isolada. A estrutura também está confusa, misturando condição e consequência sem pontuação adequada

.
5.  Aula 13 Slide 54

Erro:

O problema da parada pode ser reduzido ao de determinar se L(M′) satisfaz P produzindo-se R< M′ > a partir de R< M, w >

Correção:

O problema da parada pode ser reduzido ao de determinar se L(M′) satisfaz P, produzindo-se R< M′ > a partir de R< M, w >

Explicação: 

Faltou vírgula para separar a oração principal da oração adverbial (“produzindo-se...”), o que compromete a clareza da frase.

6. Aula 13 Slide 56

Erro:

 .…como essa linguagem é o complemento de { R | L(M) satisfaz P }, e as linguagens recursivas são fechadas sob complementação….

Correção:

….como essa linguagem é o complemento de { R⟨M⟩ | L(M) satisfaz P } e as linguagens recursivas são fechadas sob complementação...

Explicação: 

A vírgula antes do "e" está incorreta. Em português, não se separa o sujeito ou a conjunção da oração que a segue com vírgula, a menos que haja uma intercalação ou mudança de estrutura.

7. Aula 13 Slide 9

Erro:

A noção de computação é o que existe de comum entre todos eles; ou que cada um deles apresenta uma abordagem diferente para o conceito de computabilidade

Correção:

A noção de computação é o que existe de comum entre todos eles, embora cada um apresente uma abordagem diferente para o conceito de computabilidade.

Explicação:
O erro está no uso incorreto do ponto e vírgula seguido de "ou", que cria uma frase confusa e contraditória. O correto é usar uma conjunção adversativa (como "embora") para ligar as ideias de forma clara e coerente.

8. Aula 13 Slide 18

Erro: 

Para uma única instância não precisa de representação, ou qualquer palavra serve para representá-la (ex.: λ) 

Correção:

Para uma única instância, não precisa de representação, ou qualquer palavra serve para representá-la (ex.: λ).

Explicação: 

A vírgula depois de "instância" é recomendada porque você está começando com uma oração adverbial ("Para uma única instância") que funciona como um complemento inicial da frase.

9. Aula 13 Slide 19

Erro:

Para cada instância de P deve existir pelo menos uma palavra de Σ∗ que a represente

Correção:

Para cada instância de P, deve existir pelo menos uma palavra de Σ∗ que a represente

Explicação: 

A vírgula depois do adjunto adverbial inicial ”Para cada instância de P” não é obrigatória , mas melhora a clareza e a leitura, principalmente em textos técnicos ou formais.

10. Aula 13 Slide 20

Erro:
Uma Máquina de Turing que soluciona um Problema de Decisão que recebe como entrada v1, v2, ... , vn será representada como

Correção:

Uma Máquina de Turing que soluciona um Problema de Decisão, que recebe como entrada v1, v2, ... , vn, será representada como

Explicação: 

Faltaram vírgulas para isolar a oração explicativa “que recebe como entrada v1, v2, ... , vn” no meio da frase.

11. Aula 13 Slide 32

Erro:

Ao mostrar que o problema da parada é indecidível, mostra-se que não existe uma MT equivalente a MT Up que sempre para; ou seja, L(Up) não é recursiva

Correção:

Ao mostrar que o problema da parada é indecidível, mostra-se que não existe uma MT equivalente à MT Up que sempre para; ou seja, L(Up) não é recursiva

Explicação: 

"à MT Up": faltou crase na preposição "a" + artigo "a" = à, porque o verbo “equivalente” exige a preposição a, e MT é feminino.

12. Aula 13 Slide 35

Erro:

A partir dessa Máquina de Turing P' seria possível obter uma outra MT P'' (com um parâmetro) a partir de P', tal que

Correção:

A partir dessa Máquina de Turing P', seria possível obter uma outra MT P'' (com um parâmetro) a partir de P', tal que

Explicação:
Faltou vírgula depois de “P’”, que encerra um complemento inicial longo ("A partir dessa Máquina de Turing P'").

[Andrei Alvares]

On Sat, Jul 12, 2025 at 6:55 PM Luiz Eduardo <luizeda...@gmail.com> wrote:

1. Aula 13 Slide 47

Erro:

 A MT M para se sua entrada é w se e somente se w ∈ L(M)

Correção:

A MT M para se, e somente se, sua entrada w pertence a L(M).

Explicação: 

Faltam vírgulas para separar as orações e a locução lógica “se e somente se”, que deve ser isolada. A estrutura também está confusa, misturando condição e consequência sem pontuação adequada.

Não tem vírgulas separando se e somente se.

 

2. Aula 13 Slide 48

Erro:

 Todos os problemas dessa classe podem ser provados como indecidíveis; já que todos têm o seguinte tipo de enunciado.

Correção:

Todos os problemas dessa classe podem ser provados como indecidíveis, já que todos têm o seguinte tipo de enunciado

Explicação: 

O ponto e vírgula separa orações independentes. Como “já que” introduz uma oração subordinada causal, o correto é usar vírgula.

Verdade: +0,25pts

 

3. Aula 13 Slide 50

Erro:

 Definição: uma propriedade P de LREs é trivial se é satisfeita por toda LRE ou por nenhuma

Correção:

Definição: uma propriedade P de LREs é trivial, se é satisfeita por toda LRE ou por nenhuma

Explicação: 

Falta uma vírgula para separar as orações.

Não tem vírgula aqui. 

4.  Aula 13 Slide 51

Erro:

 M para se a entrada é w se e somente se M' para com alguma entrada

Correção:

M para se a entrada é w se, e somente se, M' para com alguma entrada

Explicação: 

Faltam vírgulas para separar as orações e a locução lógica “se e somente se”, que deve ser isolada. A estrutura também está confusa, misturando condição e consequência sem pontuação adequada 

.

Não se separa por vírgula.

 

5.  Aula 13 Slide 54

Erro:

O problema da parada pode ser reduzido ao de determinar se L(M′) satisfaz P produzindo-se R< M′ > a partir de R< M, w >

Correção:

O problema da parada pode ser reduzido ao de determinar se L(M′) satisfaz P, produzindo-se R< M′ > a partir de R< M, w >

Explicação: 

Faltou vírgula para separar a oração principal da oração adverbial (“produzindo-se...”), o que compromete a clareza da frase.

Vírgula não obrigatória.

 

6. Aula 13 Slide 56

Erro:

 .…como essa linguagem é o complemento de { R | L(M) satisfaz P }, e as linguagens recursivas são fechadas sob complementação….

Correção:

….como essa linguagem é o complemento de { R⟨M⟩ | L(M) satisfaz P } e as linguagens recursivas são fechadas sob complementação...

Explicação: 

A vírgula antes do "e" está incorreta. Em português, não se separa o sujeito ou a conjunção da oração que a segue com vírgula, a menos que haja uma intercalação ou mudança de estrutura.

Aqui também não há problema.

 

7. Aula 13 Slide 9

Erro:

A noção de computação é o que existe de comum entre todos eles; ou que cada um deles apresenta uma abordagem diferente para o conceito de computabilidade

Correção:

A noção de computação é o que existe de comum entre todos eles, embora cada um apresente uma abordagem diferente para o conceito de computabilidade.

Explicação:
O erro está no uso incorreto do ponto e vírgula seguido de "ou", que cria uma frase confusa e contraditória. O correto é usar uma conjunção adversativa (como "embora") para ligar as ideias de forma clara e coerente.

Okay: +0,25pts

 

8. Aula 13 Slide 18

Erro: 

Para uma única instância não precisa de representação, ou qualquer palavra serve para representá-la (ex.: λ) 

Correção:

Para uma única instância, não precisa de representação, ou qualquer palavra serve para representá-la (ex.: λ).

Explicação: 

A vírgula depois de "instância" é recomendada porque você está começando com uma oração adverbial ("Para uma única instância") que funciona como um complemento inicial da frase.

Não tem vírgula aqui.

9. Aula 13 Slide 19

Erro:

Para cada instância de P deve existir pelo menos uma palavra de Σ∗ que a represente

Correção:

Para cada instância de P, deve existir pelo menos uma palavra de Σ∗ que a represente

Explicação: 

A vírgula depois do adjunto adverbial inicial ”Para cada instância de P” não é obrigatória , mas melhora a clareza e a leitura, principalmente em textos técnicos ou formais.

Também não.

 

10. Aula 13 Slide 20

Erro:
Uma Máquina de Turing que soluciona um Problema de Decisão que recebe como entrada v1, v2, ... , vn será representada como

Correção:

Uma Máquina de Turing que soluciona um Problema de Decisão, que recebe como entrada v1, v2, ... , vn, será representada como

Explicação: 

Faltaram vírgulas para isolar a oração explicativa “que recebe como entrada v1, v2, ... , vn” no meio da frase.

Também não.

 

11. Aula 13 Slide 32

Erro:

Ao mostrar que o problema da parada é indecidível, mostra-se que não existe uma MT equivalente a MT Up que sempre para; ou seja, L(Up) não é recursiva

Correção:

Ao mostrar que o problema da parada é indecidível, mostra-se que não existe uma MT equivalente à MT Up que sempre para; ou seja, L(Up) não é recursiva

Explicação: 

"à MT Up": faltou crase na preposição "a" + artigo "a" = à, porque o verbo “equivalente” exige a preposição a, e MT é feminino.

Up é símbolo, portanto não se usa crase. Antes estava com crase, eu corrigi esse problema esse semestre depois de alguém reportar.

12. Aula 13 Slide 35

Erro:

A partir dessa Máquina de Turing P' seria possível obter uma outra MT P'' (com um parâmetro) a partir de P', tal que

Correção:

A partir dessa Máquina de Turing P', seria possível obter uma outra MT P'' (com um parâmetro) a partir de P', tal que

Explicação:
Faltou vírgula depois de “P’”, que encerra um complemento inicial longo ("A partir dessa Máquina de Turing P'").

Aqui também não tem vírgulas.

  []z, Andrei

 

--
Você recebeu essa mensagem porque está inscrito no grupo "[CEFET-MG]: Linguagens Formais e Autômatos (DECOM035)" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para decom035+u...@googlegroups.com.
Para ver esta conversa, acesse https://groups.google.com/d/msgid/decom035/1aaa46c1-fc03-473a-ae5f-6769ee96f59en%40googlegroups.com.