SLIDE AULA 07
Erro — Página 20: “Autômato com Pilha Não Determinístico”
Trecho: “δ é uma a função parcial de E × (Σ ∪ {λ}) × (Γ ∪{λ})”
Correção: “δ é uma função parcial de E × (Σ ∪ {λ}) × (Γ ∪{λ})”
Justificativa: Duplicação indevida do artigo definido “a”, erro gramatical de concordância.
SLIDE AULA 08
Erro — Página 15: “Observações”
Trecho: “Pode existir mais de uma derivação para uma palavra w de uma gramática G?”
Correção: “Podem existir mais de uma derivação para uma palavra w de uma gramática G?”
Justificativa: O sujeito composto (“mais de uma derivação”) está no plural, exigindo o verbo “podem”. A forma verbal “pode” está errada aqui.
Erro — Página 42: “Consistência das Eliminações”
Trecho: “Essa sequência produz uma GLC equivalente cujas regras são da seguinte forma”
Correção: “Essa sequência produz uma GLC equivalente, cujas regras são da seguinte forma”
Justificativa: Faltou a vírgula antes da oração subordinada adjetiva explicativa. O sujeito da oração principal é “uma GLC equivalente”, e a oração “cujas regras…” explica essa GLC, exigindo a vírgula.
SLIDE AULA 09
Erro — Página 10: “Mais Manipulação de GLCs”
Trecho: “passos intermediários para obtenção de GLC’s nesta forma normal”
Correção: “passos intermediários para a obtenção de GLC’s nesta forma normal”
Justificativa: Artigo definido obrigatório. “Obtenção” é substantivo abstrato e exige artigo na norma culta: “a obtenção”.
SLIDE AULA 12
Erro — Página 9: “MT com Múltiplas Trilhas”
Trecho: “No caso em que δ(e, a) = ∅ para e ∈ E e a ∈ Σ, não há transição
do estado e sob a; corresponde ao caso em que, em uma MT
padrão, δ(e, a) é indefinido”
Correção: “No caso em que δ(e, a) = ∅ para e ∈ E e a ∈ Σ, não há transição
do estado e sob a; corresponde ao caso em que, em uma MT
padrão, δ(e, a) é indefinida”
Justificativa: O sujeito da oração é “δ” (função), portanto o adjetivo “indefinido” deve concordar com função (feminino).
Erro — Página 18: “MT com Múltiplas Fitas”
Trecho: “em que e ∈ F e δ(e, a1, a2, ..., ak) é indefinido”
Correção: “tal que e ∈ F e δ(e, a1, a2, ..., ak) é indefinida”
Justificativa: O sujeito da oração é “δ” (função), portanto o adjetivo “indefinido” deve concordar com função (feminino).
Erro — Página 23: “MT Não Determinísticas”
Trecho: “No caso em que δ(e, a) = ∅ para e ∈ E e a ∈ Σ, não há transição
do estado e sob a; corresponde ao caso em que, em uma MT
padrão, δ(e, a) é indefinido"
Correção: “No caso em que δ(e, a) = ∅ para e ∈ E e a ∈ Σ, não há transição
do estado e sob a; corresponde ao caso em que, em uma MT
padrão, δ(e, a) é indefinida”
Justificativa: O sujeito da oração é “δ” (função), portanto o adjetivo “indefinido” deve concordar com função (feminino).