overgangsregels

Overgangsregels zijn regels die bepalen hoe een systeem zich verplaatst van de ene toestand naar de andere onder invloed van een invoer, een conditie of een gebeurtenis. De term komt in diverse vakgebieden voor, zoals informatica, logica, wiskunde en linguïstiek, en benadrukt het dynamische karakter van veel theoretische en technische modellen.

In informatica en formele talen verwijzen overgangsregels meestal naar de overgangsfunctie van een automaat of een toestandsmachine. Bij een deterministische eindige automaat geeft δ elke combinatie van huidige toestand en invoersymbool exact de volgende toestand aan. Bij niet-deterministische automaten kan dezelfde combinatie naar meerdere mogelijke volgende toestanden leiden. Overgangsregels worden vaak afgebeeld in toestandendiagrammen of opgevat als tabellen of formules en vormen samen met toestanden de kern van het acceptatiermechanisme voor strings in formele talen.

In linguïstiek en fonologie beschrijven overgangsregels hoe klanken veranderen afhankelijk van hun omgeving. Dit kunnen processen zoals assimilatie, dissimilatie of lenitie zijn, die leiden tot verschillende allofonen van een klank in variabele contexten. Een bekend voorbeeld is de variatie in de Engelse meervoudsvormen van woorden (spraakverwerving en productie) waarbij de uitgang van -s, -z of -ɪz wordt uitgesproken overeenkomstig de voicing van de voorgaande klank.

Overgangsregels worden vaak expliciet gemaakt als regels, tabellen, of diagrammen en kunnen ook in computationele modellen worden geprogrammeerd, bijvoorbeeld in simulaties en modelcheckers. Ze vormen een fundamenteel concept om ritme, structuur en veranderlijkheid in systemen te analyseren.