Automate fini alternant

Un automate fini alternant est une extension des automates finis. Dans un automate fini non déterministe usuel, un mot w {\displaystyle w} est accepté si, parmi les états atteints, il y a au moins un état final. Dans automate fini alternant, c'est la valeur d'…