Formele taal: verschil tussen versies

Een ''formele taal'' <math> \mathbf{\mathit{L}} </math> is een [[verzameling (wiskunde)|verzameling]] van woorden. Een woord uit een formele taal is een rijtje letters uit het (normaal gesproken eindige) alphabet <math>\mathbf{\mathit{\Sigma}}</math>. Het achter elkaar schrijven van letters of woorden heet [[concatenatie]]. Als men deze wil benadrukken wordt meestal <math>\circ</math> of <math>\cdot</math> gebruikt. Het maakt niet uit in welke volgorde concatenaties uitgevoerd worden. De volgorde van de lettersConcatenatie is echter[[Associativiteit wel(wiskunde)|associatief]], vanmaar belang, zodatniet geldt[[Commutativiteit|commutatief]]:

:<math>\forall u,v,w: (u\circ v)\circ w = u\circ(v\circ w) = uvwu \circ v \circ w</math>