pumping-lemma
Here are 6 public repositories matching this topic...
Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
- Updated
Feb 22, 2022 - Python
Active learning tool designed to explore the pumping lemma property for regular language
- Updated
Dec 30, 2024 - Java
Investigate models of computation, formal languages, and computability in Haskell
- Updated
Feb 11, 2025 - Haskell
Bishop's University - CS 310 Introduction to Software Specifications
- Updated
Feb 9, 2024
A coursework submission focused on topics such as finite state automata, kleene's theorem, pushdown automata, regular languages and regular expressions, reading and writing CFG's including Chomsky Normal Form and BNF, Pumping Lemma for CFG's and RE's and Turing Machines.
- Updated
Mar 15, 2020
Improve this page
Add a description, image, and links to thepumping-lemma topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thepumping-lemma topic, visit your repo's landing page and select "manage topics."