Innholdsfortegnelse
Formelt språk
Et formelt språk er en matematisk mengde ord, det vil si endelige strenger av bokstaver eller symboler.
Se Pumpelemmaet for kontekstfrie språk og Formelt språk
Kontekstfritt språk
Et kontekstfritt språk er språket generert av en kontekstfri grammatikk.
Se Pumpelemmaet for kontekstfrie språk og Kontekstfritt språk
Pumpelemmaet for regulære språk
I teorien om formelle språk beskriver pumpelemmaet for regulære språk en fundamental egenskap for alle regulære språk.
Se Pumpelemmaet for kontekstfrie språk og Pumpelemmaet for regulære språk
Se også
Formelle språk
- Alfabet (informatikk)
- Backus-Naur form
- Chomsky normalform
- Chomskyhierarkiet
- Deterministiske kontekstfrie språk
- Formell grammatikk
- Formelt språk
- Kleenestjerne
- Konkatenering
- Kontekstfri grammatikk
- Kontekstfritt språk
- LL-grammatikk
- Markeringsspråk
- Produksjon (informatikk)
- Pumpelemmaet for kontekstfrie språk
- Pumpelemmaet for regulære språk
- Regulært språk
- Regulært uttrykk
- Rekursive språk
- Rekursivt nummererbare språk
- Streng (informatikk)
- Turingmaskin
- Tvetydighet (grammatikk)