Algorithm to check if a string can be generated by a context-free grammar

Algorithm to minimize a Deterministic Finite Automaton (DFA) using Moore's Table Filling algorithm

Collection of tools to perform operations on sets

Computes logical formulas and displays their truth tables