Revisión como estaba o 16 de xullo de 2018 ás 23:25 editar Corribot (conversa \| contribucións) Bots 58.071 edicións m →‎Derivacións: +control autoridades using AWB ← Edición máis vella		Revisión como estaba o 18 de xullo de 2018 ás 13:10 editar desfacer Breogan2008 (conversa \| contribucións) 450.643 edicións Sen resumo de edición Edición máis nova →
Liña 1: {{atención\|data=xullo de 2009\|require mellora da estrutura e eliminar contidos duplicados}} Unha '''gramática formal''' é unha estrutura matemática cun conxunto de regras de formación que definen as [[cadeas de caracteres]] admisibles nunha determinada [[linguaxe formal]] ou [[Linguaxe humana\|linguaxe natural]]. As gramáticas formais aparecen en varios contextos diferentes: a [[lóxica matemática]], as [[ciencias da computación]] e a [[lingüística]] teórica, a miúdo con métodos e intereses diverxentes. Nunha linguaxe formal, s cadeas formadas segundo as regras da gramática formal chámanse [[fórmula ben formada\|fórmulas ben formadas]], e o conxunto de tódalas fórmulas ben formadas constitúe unha [[linguaxe formal]]. Unha gramática formal non describe o [[significado]] das fórmulas ben formadas, senón soamente a súa forma. A [[linguaxe formal\|teoría das linguaxes formais]] estuda as gramáticas formais e as linguaxes formais, e é unha póla da [[matemática aplicada]]. As súas aplicacións atópanse na [[ciencia computacional teórica]], a [[lingüística]], a [[semántica formal]], a [[lóxica matemática]] e outras áreas. Unha '''gramática formal''' é un obxecto ou modelo matemático que permite especificar unha linguaxe ou lingua, é dicir, é o conxunto de regras capaces de xerar tódalas posibilidades combinatorias desa linguaxe, xa sexa esta unha [[linguaxe formal]] ou unha [[linguaxe natural]]. == Introdución == A expresión «gramática formal» ten dous sentidos:

Gramática formal: Diferenzas entre revisións