Logo
Unionpedia
Kommunikasjon
Tilgjengelig på Google Play
Ny! Last ned Unionpedia på din Android™-enhet!
Installer
Raskere tilgang enn browser!
 

Formell grammatikk

Index Formell grammatikk

Formell grammatikk (også kalt kun grammatikk) er i teoretisk informatikk en mengde formasjonsregler som definerer hvilke strenger fra alfabetet til et formelt språk som er syntaktisk gyldige (det vil si grammatikalske) i dette språket.

8 relasjoner: Alfabet (informatikk), Chomskyhierarkiet, Formelt språk, Informatikk, Lingvistikk, Mengde, Noam Chomsky, Streng (informatikk).

Alfabet (informatikk)

Et alfabet er i informatikk og predikatslogikk en endelig mengde symboler eller bokstaver.

Ny!!: Formell grammatikk og Alfabet (informatikk) · Se mer »

Chomskyhierarkiet

Chomskyhierarkiet (av og til også referert til som Chomsky–Schützenberger-hierarkiet) er innafor informatikk, formell lingvistikk og automatteori et hierarki av klasser av formelle grammatikker som genererer formelle språk.

Ny!!: Formell grammatikk og Chomskyhierarkiet · Se mer »

Formelt språk

Et formelt språk er en matematisk mengde ord, det vil si endelige strenger av bokstaver eller symboler.

Ny!!: Formell grammatikk og Formelt språk · Se mer »

Informatikk

Informatikk er et fagfelt med røtter i matematisk logikk, lingvistikk og elektroingeniørfag.

Ny!!: Formell grammatikk og Informatikk · Se mer »

Lingvistikk

''Priscian (Priscianus Caesariensis), grammatikeren''. Marmorpanel av Luca della Robbia. Lingvistikk eller språkvitenskap er det vitenskapelige studiet av naturlige språk og tale.

Ny!!: Formell grammatikk og Lingvistikk · Se mer »

Mengde

En mengde er i matematikk en veldefinert samling ulike objekter, betraktet som en helhet.

Ny!!: Formell grammatikk og Mengde · Se mer »

Noam Chomsky

Avram Noam Chomsky (født 7. desember 1928) er en amerikansk sakprosaforfatter, filosof og politisk aktivist.

Ny!!: Formell grammatikk og Noam Chomsky · Se mer »

Streng (informatikk)

Streng (engelsk: string) brukes i informatikk og noen grener av matematikk som betegnelse på bestemte typer sekvenser eller følger.

Ny!!: Formell grammatikk og Streng (informatikk) · Se mer »

UtgåendeInnkommende
Hey! Vi er på Facebook nå! »