https://github.com/amirreza81/buchi-automaton

Theoretical Project about Büchi and Generalized Büchi automaton
https://github.com/amirreza81/buchi-automaton

automata automation buchi-automaton dba-automation dfa generalized-buchi-automaton nfa omega-language

Last synced: about 2 months ago
JSON representation

Theoretical Project about Büchi and Generalized Büchi automaton

• Host: GitHub
• URL: https://github.com/amirreza81/buchi-automaton
• Owner: Amirreza81
• Created: 2024-10-21T12:21:15.000Z (2 months ago)
• Default Branch: main
• Last Pushed: 2024-10-22T19:34:12.000Z (2 months ago)
• Last Synced: 2024-10-23T15:22:31.231Z (2 months ago)
• Topics: automata, automation, buchi-automaton, dba-automation, dfa, generalized-buchi-automaton, nfa, omega-language
• Language: TeX
• Homepage:
• Size: 3.32 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Buchi-automaton

Theoretical Project about Büchi and Generalized Büchi automaton

This repository contains:

> * Slide: A complete English slide for Buchi automaton.

> * Report: A brief summary of the project in Persian.

> * LaTeX projec: Theese slides have been produced with LaTeX. You can use them.

![reg](regular.png)

![omega](omega.png)