// index
posts
notes on code, math and systems
Brace Expansion II — denotational semantics and an LL(1) parser
LeetCode 1096 as a formal-language problem — what the expression denotes as a finite language, why that denotation is a semiring homomorphism, how one character of lookahead decides every parse step, and where the exponential work hides.
ℤₚ × ℤₚ Field
Notes on how to define the Zp×Zp field