brunocampos01 / teoria-da-computacao Star 14 Code Issues Pull requests Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação. reduction turing-machine context-free-grammar ufsc pt-br ine suffix-tries computability-theory finite-automata pumping-lemma ine5602 Updated Oct 29, 2025 Python
wzjoriv / MIPU Star 4 Code Issues Pull requests Active learning tool designed to explore the pumping lemma property for regular language regular-expressions formal-languages regular-languages educational-technology pumping-lemma Updated Dec 30, 2024 Java
dev88jerry / CS310 Star 0 Code Issues Pull requests Bishop's University - CS 310 Introduction to Software Specifications automata state-transitions regular-expressions automata-theory pumping-lemma state-transition-diagram Updated Feb 9, 2024
tadiusfrank2001 / CS101-Theory-of-Computation-and-Languages Star 0 Code Issues Pull requests Investigate models of computation, formal languages, and computability in Haskell to build an Interpreter parsing parsing-expression-grammar finite-state-machine lexical-analysis turing-machine context-free-grammar turing automota halting-problem regular-language pumping-lemma Updated Feb 11, 2025 Haskell