Blog
Finite state automata (FSA) can be modeled with reactions of the form 𝐴 + 𝐵 → 𝐶 + 𝐷 . FSAs operate over regular languages, and all FSAs are equivalent, so our job is to find some reaction which corresponds to determining whether or not a given "word" (sequence of inputs to the reaction) is a member of the language. Generally, we will be associating languages of various grammars in the Chomsky hierarchy to certain combinations of "aliquots" added to a one-pot reaction, and in this case we want our aliquots to be potassium iodide and silver nitride. Take the language over the alphabet 𝑎 , 𝑏 consisting of all words with at least one 𝑎 and one 𝑏 . Now associate 𝑎 with some part of KIO 3 and 𝑏 with some part of AgNO 3 . Then, the reaction KIO 3 + AgNO 3 → AgIO 3 ( s ) + KNO 3 only occurs when both of the reactants are present in solution, so the word is in the language if and only if silver iodide is present. (Or, equivalently, heat is released). Type-2 grammars co
Explore this link on the map →