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
[Yudhister / notes / rss] some (quasi-closed) narrative fiction I've appreciated why Occam? a bird's-eye perspective on program equilibria an "infinitary" proof of the finite Ramsey's theorem FIAT and negatory goal development meiotic geometry home is what the heart remembers a brief diatribe on safetyism am I an LLM? surprisingly high-leverage QoL improvements Hobbling-Induced Innovation Idiolects? Astronomical Waste Given Acausal Considerations Perfect SMLD is TC$^0$ Prediction is not Generation Miscellaneous Poetry Drafts Scaling Laws for Transfer Learning On…
saved by
related reading
- Mediumanshuphukan031.medium.com
- Finite-state transducer - Wikipediaen.wikipedia.org
- Index 1,600,000,000 Keys with Automata and Rust - Andrew Gallant's Blogburntsushi.net
- web.stanford.edu/class/cs143/lectures/lecture04.pdfweb.stanford.edu
- On the Biology of a Large Language Modeltransformer-circuits.pub
- Thompson's construction - Wikipediaen.wikipedia.org
- Chomsky hierarchy - Wikipediaen.wikipedia.org
- Context-free grammar - Wikipediaen.wikipedia.org
- AFOSR2022-Structure_and_Dynamics_of_Working_Language.pdfdspivak.net
- Formal grammar - Wikipediam.wikipedia.org
- L-system - Wikipediaen.wikipedia.org
- Language Models, World Models, and Human Model-Buildinglingo.csail.mit.edu