finite automata, DFA, NFA, state machine, automata theory
Browse Popular Interests
Browse:
📐 Mathematics & Statistics
algorithms, data structures, computer science, theory
Prefix Trees, Autocomplete, String Matching, Radix Tree
Lean, Isabelle, Proof assistant, Formal proof
Voting Theory, Collective Decisions, Arrow's Theorem, Preference Aggregation
voting theory, Arrow's theorem, collective decision, preference aggregation
Model Theory, Proof Theory, Completeness, Decidability
Resource Awareness, Session Types, Proof Nets, Substructural Logic
lean4, lean theorem prover, mathlib, formal proof
denotational semantics, domain theory, Scott domains, semantic models
expected utility, game theory, rational choice, risk analysis
Coq proof assistant, formal verification, theorem proving, dependent types
Algorithms, LeetCode, ICPC, Problem Solving
OEIS, generating functions, enumerative
Causality, Confounding Variables, Treatment Effects, Randomization
ADTs, sum types, product types, pattern matching, discriminated unions
agda, dependent types, proof assistant, Martin-Löf
static analysis, program semantics, lattice theory, dataflow analysis
typeface, font, type design, typographic hierarchy