Skip to content

Java implementation of a Definite & Indefinite finite automata

Notifications You must be signed in to change notification settings

MrRutledge/Automata_Project

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Automata Project

This project was based on Automata Theory which deals with simple machines also known as Automatas/State_machines, and their ability to follow computational logic to carry out simple tasks or processes.

The focus for the project was the Finite_Automaton model, this model specify that the abstruct machine can only be in a finite number of states at any given time.

There are two ways to model the machines, the first type is the Definite Finite Automaton; in this model the machine is characterized by having any number of states as long as it has one start state and one ending(finish state).

The Nondefinite Finite Automaton on the other hand can have more than one ending, i.e the machine can have more than one way to finish the task or to end a process, but even in this model the machine cant have more than one way to start (start_ state).

For this project we had to model the automata, the task of our machine was to read words of any form and only accept words that contain two consecutive characters of type integer 1 and 0. Read the descriptions of the java classes in the source code to get a better understanding of the tasks.

We later had to implement our models in programs, the results of which can be tried out by git cloning this project and experiment with it using the above source code.

Project Trees.

Automata_Project 
        |─Readme.md
        |-bin
        |──src
             |-bits.txt
             |──Bits1XParallel.java
             |──DFA.java
             |──DFAFilter.Java

Releases

No releases published

Packages

No packages published

Languages