QuickBasic
Les opérateurs booléens permettent de tester des relations entre les opérateurs relationnels. Les principaux sont : « AND » pour le ET, « NOT » pour le NON, « OR » pour le OU inclusif, et « XOR » pour le OU exclusif.
Automate fini alternant
Un "automate fini alternant" formula_30 est composé des données suivantes :  L'état initial usuel dans les automates est remplacé par la fonction d'acceptation formula_36. La fonction de transition formula_37 associe à un état formula_4, à une lettre formula_7 et à un vecteur d'états formula_13 indicé par formula_31, une valeur booléenne. La fonction formula_37 est étendue au mots par les deux propriétés suivantes : Vue comme fonction opérant sur les vecteurs d'états, la fonction formula_50 est donc étendue par