Formeel systeem: verschil tussen versies

In zowel de [[computerwetenschap]] als de [[linguïstiek]] is een "formele grammatica" een grammatica die een nauwkeurige beschrijving van een formele of [[natuurlijke taal|natuurlijke]] taal geeft. Dit gebeurt met name aan de hand van [[String (informatica)|strings]]. Formele grammatica's kunnen verder worden onderverdeeld in twee categorieën. [[Generatieve grammatica]]'s specificeren nader hoe strings of vergelijkbare reeksen in een formele taal kunnen worden voortgebracht (bijvoorbeeld door ze op te schrijven), terwijl [[analytische grammatica]]'s aangeven hoe een string als zodanig kan worden geanalyseerd en herkend om uit te maken of een string werkelijk tot de taal behoort.