Linguagem sensível ao contexto: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m v1.43b - Corrigido usando WP:PCW (en dash ou em dash)
Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta10)
Linha 27:
== Exemplos ==<!-- [[Bach language]] redirects here -->
 
Uma das mais simples linguagens sensíveis ao contexto, mas que não é livre de contexto é <math>L = \{ a^nb^nc^n : n \ge 1 \}</math>: A linguagem de todas as cadeias consistindo em ''n'' ocorrências do símbolo "a", e ''n'' "b"'s, e ''n'' "c"'s (abc, aabbcc, aaabbbccc, etc.). Um superconjunto dessa linguagem, chamada de linguagem de Bach,<ref>{{citar conferência|último =Pullum |primeiro =Geoffrey K. |ano=1983 |título=Context-freeness and the computer processing of human languages |conferencia=Proc. 21st Annual Meeting of the [[Association for Computational Linguistics|ACL]] |data=1983}}</ref> é definido como o conjunto de todas as cadeias onde "a", "b" e "c" (ou qualquer outro conjunto de símbolos)ocorrem com a mesma frequência (aabccb, baabcaccb, etc.) e isso também é sensível ao contexto.<ref>Bach, E. (1981). [http://people.umass.edu/ebach/papers/nels11.htm "Discontinuous constituents in generalized categorial grammars"] {{Wayback|url=http://people.umass.edu/ebach/papers/nels11.htm# |date=20140121022931 }}. ''NELS'', vol. 11, pp.&nbsp;1–12.</ref><ref>Joshi, A.; Vijay-Shanker, K.; and Weir, D. (1991). "The convergence of mildly context-sensitive grammar formalisms". In: Sells, P., Shieber, S.M. and Wasow, T. (Editors). ''Foundational Issues in Natural Language Processing''. Cambridge MA: Bradford.</ref>
 
Outro exemplo de linguagem sensível ao contexto que não é livre de contexto é ''L'' = { ''a<sup>p</sup>'' : ''p'' é um [[número primo]] }. Podemos demonstrar que ''L'' é sensível ao contexto construindo um autômato limitado linearmente que aceita ''L''. Podemos demonstrar facilmente que a linguagem não é nem [[linguagem regular|regular]] e nem [[linguagem livre de contexto|livre de contexto]] aplicando os respectivos [[Lema do bombeamento|lemas de bombeamento]] para cada classe de linguagem para ''L''.