Skip to content
This repository was archived by the owner on Mar 27, 2025. It is now read-only.

Automata and Formal Languages is a course about Automata and the different types of languages you can prove with them. In this repository I'll be making the homework assignments.

License

Notifications You must be signed in to change notification settings

school-Tygo-van-den-Hurk/TUe-2IRR90-Automata-and-Formal-Languages-2024-2025

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

19 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This repository will be used to make and store the homework assignments in for 2IRR90 Automata and Formal Languages.


Built with Nix Contributors Good first issues The Eclipse Public License v2.0 badge GitHub commits GitHub latest commit GitHub latest commit GitHub forks GitHub tests status

Automata and Formal Languages

Automata and Formal Languages is a course about Automata and the different types of languages you can prove with them. In this repository I'll be making the homework assignments. The assignments don't count toward the final grade but serve as good practice for the exam.

Both the exam, and the assignments will have three major topics: Automata Engineering, Pumping Lemma, and Undecidability. That's why these assignments are such good practice, these questions will be exactly like this on the exam.

About

Automata and Formal Languages is a course about Automata and the different types of languages you can prove with them. In this repository I'll be making the homework assignments.

Topics

Resources

License

Stars

Watchers

Forks