Tags compsci

A Practical Guide to State Machines

Express application logic in a concise and declarative way using state machines and C#‘s pattern matching.

Translation using Syntactic Rules

How to describe a formal language and build a translator with ANTLR and JavaScript.

Computing Ranges in Constant Time

Range Minimum Query with Sparse Table and Dynamic Programming.

Gödel's System T in TypeScript

Experimenting with a rudimentary type system that ensures the programs always terminate.

On Recursive Functions

Lambda Calculus and the Y combinator in JavaScript.

Implementing a Regular Expression Engine

Using Ken Thompson's construction algorithm.