Math & CS Awesome List, distinguished by proof and logic and technique

These are my programs for compiler design lab work in my sixth semester

Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)

[WIP] 📚 A python automata library implementing Finite Automata, FA with Output and PDA

A tool for converting context-free grammars to different normal forms.

This repository contains various programs related to the theory of computation

Two way slab analysis by Fourier Method

Turing machine implementation for spelling Turkish words

An attempt at unpacking Computation and the implementation of computing machinery in layman's terms.

This package refers to the topic of automata theory, which includes DFA, NDFA, Mealy machines, Moore machines, Finite state machine and Turing machine.

Markov algorithms interpreter and a Telegram bot to test and manage these via. Many unique self written markov algorithms included. Not maintained. Reffer to https://github.com/faraui/markov instead.

Envy free, Fair Rent Division System for Hostel Rooms. This is a project made as a part of the Project Track in the course ESC101 offered in Spring 2019 at IIT Kanpur.

Exercise for Theory of Computation Exam @ Unifi - Turing Machines Simulator.

common algorithms in automata theory - minimization algorithms, regex compilers etc.

In this essay, we discuss about conway's game of life

🎏 Conversor capaz de traduzir Autômatos Finitos Não Determinísticos em Autômatos Finitos Determinísticos. Projeto desenvolvido utilizando PyQt e JsonSchema, compatível com formatos JFLAP.

Project for the Theory of Computation course @ USI University

online algo app where you check your string is valid or not

A theory of computing project that introduces converting a non-deterministic finite automaton (nfa) to a deterministic finite automaton (dfa).

puzzles, problems, search, sort, graph, constraint, theory, symbolic