Gramatyka kontekstowa: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Morcinek (dyskusja | edycje)
Dodanie odnośnika
m WP:SK, drobne techniczne
Linia 1:
'''Gramatyką kontekstową''' (and. context-sensitive grammar) – [[gramatyka formalna]], której reguły są postaci:
 
: <math>\alpha A \beta \rightarrow \alpha \gamma \beta</math>
 
gdzie <math>A</math> jest symbolem nieterminalnym, <math>\alpha</math>, <math>\beta</math>; są dowolnymi ciągami symboli terminalnych i nieterminalnych (mogą być puste), natomiast <math>\gamma</math> to dowolny niepusty ciąg symboli [[symbol terminalny|terminalnych]] i [[symbol nieterminalny|nieterminalnych]]. Każda gramatyka kontekstowa definiuje pewien [[język kontekstowy]].
Linia 9:
Funkcjonuje również równoważna (z dokładnością do słowa pustego) definicja gramatyki kontekstowej: '''gramatyką kontekstową''' nazywamy gramatykę, której reguły są postaci:
 
: <math>\alpha \rightarrow \beta</math>
 
gdzie <math>\alpha</math> i <math>\beta</math> są dowolnymi ciągami symboli terminalnych i nieterminalnych spełniającymi warunek: <math>|\alpha| \leqleqslant |\beta|</math>, gdzie <math>|\alpha|</math> oznacza liczbę symboli w ciągu <math>\alpha</math>. Takie gramatyki nazywamy też [[gramatyka monotoniczna|gramatykami monotonicznymi]] z uwagi na to, że liczba symboli podczas wyprowadzania słowa nigdy nie maleje.
 
Gramatyki kontekstowe zostały wprowadzone przez [[Noam Chomsky|Noama Chomsky'ego]] w roku 1950 jako sposób formalnego opisu [[Język (mowa)|języków naturalnych]], w których często poprawność wystąpienia słowa zależy od kontekstu, w którym jest ono umieszone.
 
== Zobacz też ==
* [[Gramatyka_bezkontekstowaGramatyka bezkontekstowa| Gramatyka bezkontekstowa]]
 
[[Kategoria:Języki formalne]]