GitHub topics: theory-of-computation
Ruso37/Turing-Machine-Project
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
Language: Python - Size: 9.77 KB - Last synced at: about 7 hours ago - Pushed at: about 8 hours ago - Stars: 0 - Forks: 0
madhurimarawat/Semester-Notes
This repository includes academic notes, study materials, and resources from B.Tech (Hons) in CSE, specializing in Artificial Intelligence and Data Science. It features question papers, proprietary study guides, and resources to support learning in these fields.
Language: HTML - Size: 2.44 GB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 23 - Forks: 2
praisetompane/computation
An attempt at unpacking Computation and the implementation of computing machinery in layman's terms.
Language: Python - Size: 65 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 4 - Forks: 2
Asterinos1/Lambda-to-C-transpiler
Computation Theory project 2024. A transpiler that converts an imaginary language 'lambda' into executable C source code.
Language: C - Size: 558 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0
Gob7/CS_Subjects
Computer Science & Engineering
Language: C++ - Size: 4.49 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Language: JavaScript - Size: 476 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 521 - Forks: 42
labhansh2/models-of-computation
Implementations of theorotical models of computation in cpp. (Not a UNI project)
Language: C++ - Size: 106 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
mostafatouny/awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
Language: Python - Size: 826 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 845 - Forks: 50
Shweta31410/Turing-Machine-Project
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
Language: Python - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
alyashour/Turing-Machine-Sim
Turing Machine simulator for testing and debugging state machine.
Language: Python - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
kiwi0fruit/ultimate-question
Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.
Size: 33.7 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 0
AnuragAnalog/GateResources
Here are my GATE CSE 2021 Resources
Size: 45.4 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 132 - Forks: 42
coderatul/DFA-Simulator
A Python tool for simulating Deterministic Finite Automata (DFAs) by reading transition tables from Excel files. It checks if input strings are accepted, supports verbose output for detailed DFA information, and ensures all transitions are defined. Object-oriented, user-friendly, and ideal for theoretical computer science education.
Language: Python - Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
helcsnewsxd/famaf-computer_science-formal_languages_and_computability 📦
Prácticos y teórico de la materia de Lenguajes Formales y Computabilidad de la Licenciatura en Ciencias de la Computación de FAMAF (UNC)
Size: 7.83 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
justinmeiners/neural-nets-sim
McCulloch & Pitts neural net simulator.
Language: JavaScript - Size: 10.2 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 2
zmwangx/rule30
Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)
Language: Python - Size: 1.33 MB - Last synced at: 5 days ago - Pushed at: about 8 years ago - Stars: 31 - Forks: 0
eliainnocenti/TuringMachines 📦
Exercise for Theory of Computation Exam @ Unifi - Turing Machines Simulator.
Language: Python - Size: 596 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
hemangsk/automata-python
[WIP] :books: A python automata library implementing Finite Automata, FA with Output and PDA
Language: Python - Size: 88.9 KB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 22 - Forks: 4
Electrostat-Lab/Future-Minds-Contributions
A contribution depot for the Future Minds Initiative provided by the Electrostat-Lab.
Size: 40 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 2
Aparnaraha/Gate2024
here the notes provided by the seniors who already cracked IITs as well as how much I'll cover for my exams I'll provide my notes as well. If you want you can access the course by these links also
Size: 1.31 GB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 28 - Forks: 3
ASHWIN990/My-Programming-Books
My all Programming books available for public to download
Size: 294 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 11
Notes4Cyber/2-year-notes
A collection of notes and resources from various engineering courses, covering key concepts, formulas, and study materials.
Language: C++ - Size: 336 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
eshwar4202/Automaton_Generator
Using graph generator
Language: Python - Size: 1.03 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
kubershahi/dfas-rnn
Synthesizing DFAs through RNN
Language: Jupyter Notebook - Size: 2.66 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
ishaansathaye/CSC445-TheoryComputationI
Fall 2024 Cal Poly CSC 445 Theory of Computation I
Language: TeX - Size: 546 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
Youssef-Remah/REGEX-To-DFA-Converter
Regular Expression to Deterministic Finite Automaton Converter.
Language: C++ - Size: 36.1 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
m-riley04/EECS-510-Final-Project
The Final Project for EECS 510 - Theory of Computing
Language: Python - Size: 380 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
xFranMe/translator-LISTAS
A translator from a made up programming language (LISTAS) to C++.
Language: Yacc - Size: 168 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
DenverCoder1/godel-program-converter
Program to convert a program encoding based on its Gödel number to 𝒮 Language (S Language) or convert an 𝒮 Language program to it's program number
Language: Python - Size: 53.7 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1
sourceduty/AI
🤖 General artificial intelligence notes and information.
Size: 794 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
kamplianitis/Theory_Of_Computation_TUC_Comiler
Compiler assignment for the purposes of the Theory of Computation Lesson in TUC
Language: C - Size: 32.2 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
Mohammedvaraliya/AutomaPy
This package refers to the topic of automata theory, which includes DFA, NDFA, Mealy machines, Moore machines, Finite state machine and Turing machine.
Language: Python - Size: 78.1 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0
iamareebjamal/nfa-dfa-coverter
A C++ program to convert NFA to DFA
Language: C++ - Size: 32.2 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0
syedhuzaif199/automata-weaver
A web-based graphical simulator for Finite automata, Pushdown automata and Turing machines.
Language: JavaScript - Size: 281 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
dankolesnikov/DFAtoTuringMachine
Turing Machine that simulates behavior of any Deterministic Finite Automata
Size: 11.8 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 5
MohamedWElteir/Turing-Machine-Simulator
A very simple Turing Machine implementation in C++
Language: C++ - Size: 73.2 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
DijkstraFTW/Compiler
A simplified compiler for a custom programming language
Language: Python - Size: 35.2 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
CrysoK/TC1-TPT 📦
Trabajo práctico transversal / Teoría de la Computación 1
Language: C - Size: 225 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1
VictorAlves08/Teoria_da_Computacao-AFD_AFN
Este projeto implementa um sistema para manipular Autômatos Finitos Determinísticos (AFD) e Autômatos Finitos Não-determinísticos (AFN). Ele permite a conversão, simulação e minimização de autômatos, demonstrando a equivalência entre AFN e AFD, assim como a manipulação de uma Máquina de Turing, possibilitando a verificação de palavras em linguagem.
Language: Python - Size: 9.95 MB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
cliche-niche/CS340
Contains submissions made for the course CS340 "Theory of Computation" at IIT-K in 2022-23 I Sem.
Size: 20.3 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
paulohenrique64/cfg-to-chomsky-normal-form
CLI program to convert a context free grammar to chomsky normal form
Language: Java - Size: 54.7 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
eZWALT/Programming-Languages
FIB-LP 2022-23 Q1 Programming Languages subject + Funx interpreter
Language: Haskell - Size: 35.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
JnxF/grau-tc
:black_nib: Automaton Theory class notes
Language: TeX - Size: 1.14 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
LexLoki/pybdm-lba Fork of sztal/pybdm
Python implementation of block decomposition method for approximating algorithmic complexity
Language: Jupyter Notebook - Size: 78.3 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
shivam6862/Tech-Learn-Space
Computer Networks, Operating Systems, Computer Architecture, Compiler Design, Theory of Computation and DataBase Management Systems
Size: 105 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wrcorcoran/TalkingTheory
a collection of materials from Talking Theory on YouTube
Size: 1000 Bytes - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
dambrosidenis/Lambda_Expression_Evaluation
Comparison study between various methods of evaluation for untyped lambda expressions, with practical implementations available
Language: Haskell - Size: 5.48 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
SazzadSowmik/CFL_REACHABILITY
The CFL Reachability problem involves determining whether there is a path in a graph where the concatenation of edge labels along the path forms a string that belongs to a given context-free language.
Language: C++ - Size: 200 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
samyam81/TheoryOfComputation
This is a repository created to store the questions related to theory of Computation. This maynot be the most efficient way of solving the problem.
Language: Java - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
Harsha-Vardhan-Tangudu/Theory-Of-Computation-Designing-PDA-Turingmachine-Safe-Submarine-Battle
Designing Pushdown Automata and Turing machine for Safe Submarine Battle
Size: 405 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
ErFer7/FLA-Tools
Simple program to manipulate NFAs, DFAs and grammars.
Language: Python - Size: 77.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
PrasannaNatarajan/CSD303_TOC
Assignments for the course CSD303 Theory Of Computation
Language: Java - Size: 12.7 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
geekabhinav007/TOC-Short
In this Repo you can find CheatSeat for Theory of Computation and last minutes notes for your semester.
Size: 3.65 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Justin307/Simulation-of-Pushdown-Automata
Pushdown Automata Simulator allow user to graphically simulate function of PDAs.
Language: TeX - Size: 6.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
frallebini/turing-completeness-of-rnns
A formal proof of how to build a recurrent neural network that simulates an arbitrary Turing machine, alongside an implementation of a specific case
Language: TeX - Size: 2.19 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
andrewturcotte166/Interactive-CFG
A program representing a Context-free grammar allowing a user to build their own valid CFG and perform operations with it. This project is a work in progress!
Language: Python - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Jagadeeswara04/Theory-of-Computation
CSA1338
Size: 5.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
LebrancWorkshop/Lebranc-Learn-Functional-Programming
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
Language: JavaScript - Size: 198 KB - Last synced at: 26 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 3
Naganathan05/TOC-Case-Study-DFA
This model accepts regular language descriptions from users, converts them to DFAs, and minimizes the DFAs. The minimized DFAs are then visualized as images, aiding users in understanding language structures. Implemented in Python, graph visualization tools, and minimization algorithms.
Size: 192 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
bwang1008/TMCompiler
Convert C++-like code into a Turing Machine representation
Language: C++ - Size: 2.92 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
HussainAther/computerscience
puzzles, problems, search, sort, graph, constraint, theory, symbolic
Language: Python - Size: 4.27 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
junzew/LambdaCalculus
Racket code to demonstrate lambda calculus concepts
Language: Racket - Size: 137 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 0
Amey-Thakur/THEORY-OF-COMPUTER-SCIENCE
CSC504: Theory of Computer Science [TCS] <Semester V>
Size: 220 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 3
fcortes/turing-machine-simulator
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
Language: C++ - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 4
CapitanuAndreea/Castle-of-Illusions-Game
Text-Based Adventure Game using Theory of Computation
Language: Python - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
mrsaqibale/online-algo
online algo app where you check your string is valid or not
Language: Python - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
numnes/TheoryOfComputation
🤖 Algoritmos de processamento de autômatos, gramaticas e maquinas de Turing.
Language: C++ - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
phattharaphorn/spelling-bee
🐝 Spelling Bee's project is a Web Application for the Da Vinci Code Game.
Language: Python - Size: 403 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Chandana047/Morse-code-translator
This is a Morse code translator which is implemented using the Turing machine in Jflap software.
Size: 405 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
kidwai/papers
some useful papers.
Size: 28.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
ahnafshahrear/Compiler-Design-Lab
Academic Lab Course of the 27th batch of Computer Science & Engineering | University of Rajshahi - 🇧🇩
Language: C++ - Size: 226 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 4
bruhmaand/PYTHON-CODE-FOR-DFA-USING-LIBRARY
Deterministic Finite Automaton graphs and python code
Language: Python - Size: 2.03 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
FernandoSchett/turing_machine
Turing machine developed in JFLAP for flight simple time calculation.
Size: 2.32 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
JPedroSilveira/lambda-norma-and-turing-theoretical-machines
Computer Theory Exercises (INF-UFRGS)
Language: HTML - Size: 1.37 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
martincorona007/CYK-algorithm
Implementation of CYK(Cocke-Younger-Kasami) algorithm https://medium.com/@martincorona007/cyk-algorithm-60d7f869ca0a
Language: C++ - Size: 1.03 MB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
code-chaser/dfa-minimization
A program that takes a dfa as input and output its minimum equivalence states partitions.
Language: C++ - Size: 378 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
Rohit--Sharma/BITS_Coursework
Assignments and Exercises implemented during undergrad
Language: Java - Size: 27.9 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
farruhha/discrete-math
My naive computer based solutions to popular math hypothesis and problems, based on Mathematics for Computer Science course by MIT.
Language: Java - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
shadmehr-salehi/Tessellation
In this essay, we delve into the world of rewrite tilings
Size: 417 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1
ahmadfaraz2024/Cellular-Automata
An efficient method of lighting up LEDs based on the concept of Cellular Automata transition
Language: Python - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
saviorabelo/dfa
A simple example of Deterministic Finite Automata (DFA) in Python.
Language: Python - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
saviorabelo/analisador-sintatico
Esse é um exemplo de analisador sintático para validar expressões aritméticas que incluem parênteses, colchetes e chaves.
Language: C - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
DigitMan27/UniversalTuringMachine
This is a universal Turing Machine Application in which you can simulate any Deterministc Turing Machine. Written in C#(.NET 5)
Language: C# - Size: 2.31 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
alinaHinzhulBSNU/Translator
"Theory of Computation & Automata Theory" course project.
Language: C# - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
adhamhshm/nfa-to-rg-generator
NFA (Non-Deterministic Finite Automata) to RG (Regular Grammar) generator for TIC2151 Theory of Computation assignment.
Language: JavaScript - Size: 41 KB - Last synced at: 13 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
trinity652/Turing-machine
A Turing Machine simulator for the language L={0^2^n}
Language: C - Size: 1.57 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
shadmehr-salehi/Conways-Game-Of-Life
In this essay, we discuss about conway's game of life
Language: Python - Size: 341 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1
gz101/mit-18.404j
This repository contains my personal assignments, solutions, and any related work for my self-study of the MIT 18.404/6.840 Theory of Computation course (Fall 2020) available on the MIT OpenCourseware website.
Language: TeX - Size: 323 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
jggrandi/Theory-of-Computation-AI-TA Fork of openai/openai-quickstart-node
Node.js app created based on the example app from the OpenAI API quickstart tutorial
Language: JavaScript - Size: 2.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
silvafj/focsimulation
Fundamentals of Computing - Learn through simulation
Language: TypeScript - Size: 8.98 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
vanessa-nascimento/afn
Exercício Programa que faz a emulação de um Autômato Finito Não Determinístico (AFN) para a matéria de Introdução à Teoria da Computação 💻
Language: Python - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
cmaraziaris/Regex-interpreter-in-haskell
A RegEx interpreter that matches (partially or fully) a given string against a given regular expression.
Language: Haskell - Size: 578 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
vladfxstoader/LFA-CS112
Lab homework (NFAs, DFAs, Turing machines) for the LFA/CS112 course (2nd semster, 1st year, FMI UniBuc).
Language: Python - Size: 5.21 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
starship9/CSD303-TOC
Contains coursework for the Theory Of Computation course offered at Shiv Nadar University.
Language: Java - Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
CSopiko/theory-of-computation
Theory of computation course (Free university of Tbilisi) assignments.
Language: Python - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
Mehrab-Kalantari/Busy-Beaver-Problem
An explanation of busy beaver problem with samples and codes
Language: Python - Size: 7.49 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1
MahdiSoleimanii/ToC-project
This project aims to implement fundamentals of theory of computation; such as DFAs, NFAs and more.
Language: Python - Size: 43 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
AyoubOuarrak/Finite_State_Machine
C++ implementation of the DFA, NFA and e-NFA
Size: 293 KB - Last synced at: about 2 years ago - Pushed at: over 11 years ago - Stars: 5 - Forks: 0
ssponsler/CS454P2-NmodK
Smallest positive integer N such that N%k == 0 using set S
Language: C++ - Size: 140 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
parion/theoretical-cs-studymaterials
Materials that might help studying for introduction to theoretical CS
Size: 56.9 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 44 - Forks: 6
