Possíveis erros e sugestões
Pedro Vieira
Slide Aula 01
Erro — Página 105: “Problema de Decisão”
Trecho: “Quantos parâmetros tem cada problema.”
Correção: “Quantos parâmetros têm cada problema.”
Justificativa: O verbo “ter”, com sujeito no plural (“parâmetros”), exige o uso do acento circunflexo: têm.
Sugestão — Página 107: “Problema de Decisão”
Trecho: “É dito ser decidível e um que não tem solução é dito ser indecidível.”
Correção sugerida: “É dito ser decidível, e um que não tem solução, indecidível.”
Justificativa: Adicionar vírgulas para separar orações coordenadas, melhorando a fluidez e a clareza da frase.
Slide Aula 02
Erro — Página 37: “AFDs Equivalentes”
Trecho: “Logo faz sentido perguntar.”
Correção: “Logo, faz sentido perguntar.”
Justificativa: Advérbio no início da oração exige vírgula.
Erro — Página 37: “AFDs Equivalentes”
Trecho: “Para ambas as perguntas a resposta é SIM!”
Correção: “Para ambas as perguntas, a resposta é SIM!”
Justificativa: Vírgula separa oração subordinada adverbial inicial da principal.
Erro — Página 85: “Problemas de Decisão para AFDs”
Trecho: “Seja M’ um AFD mínimo equivalente à M, então…”
Correção: “Seja M’ um AFD mínimo equivalente a M, então…”
Justificativa: Uso incorreto de crase — “M” é uma letra/símbolo e não admite artigo feminino.
Slide Aula 04
Erro — Página 9: “Exemplo LB”
Trecho: “v só tem 0’s e possui no mínimo um 0. Logo uv0w = 0k+1−|v|1k ∉ L”
Correção: “…no mínimo um 0. Logo, uv0w = …”
Justificativa: Advérbio “logo” deve vir seguido de vírgula ao iniciar uma oração.
Erro — Página 13: “Definição de Fechamento”
Trecho: “Dizemos que • é fechada em A se e somente se…”
Correção: “Dizemos que • é fechada em A, se e somente se…”
Justificativa: Oração subordinada condicional deve ser separada por vírgula.
Erro — Página 18: “Linguagem é Regular”
Trecho: “Como as linguagens regulares são fechadas sob interseção e complementação, então L é linguagem regular.”
Correção: “…complementação, então, L é linguagem regular.”
Justificativa: Vírgula obrigatória após advérbio conclusivo (“então”).
Andrei Alvares
Slide Aula 01
Erro — Página 105: “Problema de Decisão”
Trecho: “Quantos parâmetros tem cada problema.”
Correção: “Quantos parâmetros têm cada problema.”
Justificativa: O verbo “ter”, com sujeito no plural (“parâmetros”), exige o uso do acento circunflexo: têm.
Sugestão — Página 107: “Problema de Decisão”
Trecho: “É dito ser decidível e um que não tem solução é dito ser indecidível.”
Correção sugerida: “É dito ser decidível, e um que não tem solução, indecidível.”
Justificativa: Adicionar vírgulas para separar orações coordenadas, melhorando a fluidez e a clareza da frase.
Slide Aula 02
Erro — Página 37: “AFDs Equivalentes”
Trecho: “Logo faz sentido perguntar.”
Correção: “Logo, faz sentido perguntar.”
Justificativa: Advérbio no início da oração exige vírgula.
Erro — Página 37: “AFDs Equivalentes”
Trecho: “Para ambas as perguntas a resposta é SIM!”
Correção: “Para ambas as perguntas, a resposta é SIM!”
Justificativa: Vírgula separa oração subordinada adverbial inicial da principal.
Erro — Página 85: “Problemas de Decisão para AFDs”
Trecho: “Seja M’ um AFD mínimo equivalente à M, então…”
Correção: “Seja M’ um AFD mínimo equivalente a M, então…”
Justificativa: Uso incorreto de crase — “M” é uma letra/símbolo e não admite artigo feminino.
Slide Aula 04
Erro — Página 9: “Exemplo LB”
Trecho: “v só tem 0’s e possui no mínimo um 0. Logo uv0w = 0k+1−|v|1k ∉ L”
Correção: “…no mínimo um 0. Logo, uv0w = …”
Justificativa: Advérbio “logo” deve vir seguido de vírgula ao iniciar uma oração.
Erro — Página 13: “Definição de Fechamento”
Trecho: “Dizemos que • é fechada em A se e somente se…”
Correção: “Dizemos que • é fechada em A, se e somente se…”
Justificativa: Oração subordinada condicional deve ser separada por vírgula.
Erro — Página 18: “Linguagem é Regular”
Trecho: “Como as linguagens regulares são fechadas sob interseção e complementação, então L é linguagem regular.”
Correção: “…complementação, então, L é linguagem regular.”
Justificativa: Vírgula obrigatória após advérbio conclusivo (“então”).
--
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/CAAkitiraiEmtZGmJ4DihRG4bMHG_a%3DwpyMHPYpxujpRJM3RZ%2BQ%40mail.gmail.com.