Air Force
Achievements:
I have learned the problem solving and different mathematical notations. I have also learned how to read and understand the theorems in mathematical terms. In theory, I have learned the different languages RL, CFL and recursively enumerable languages. I have also learned the concepts of decidable and undecidable problems, and how to prove these problems. I have also learned how to built the turing machine of complex languages and how to prove language via pumping lemma. In the end of theoretical portion i have learned the time and space complexities of languages. On the implementation side there are many tools and environment I have learned in this course of ToC, some are as follows
- JFlap
- Unity 3D
- C#
- Blender
- Photoshop
- Google site
- Video making
Machine scene:
This is the Air Force scene of our World War 4 theme machine simulated in Unity 3D. In which language is simulated according to JFlap working. 3D Models and animation are also used in unity machine.
Blender Models:
These are the 3D models built in Blender and used in the machine scene for animations.
- Air Force Jet
- Heavy fighting Jet
- Air Force drone
- Jet missile
- Air Force helicopter
Turing Machine language : L={a^i b^j | j=i^2}
This is a course project of Theory of Computation FA-19. The condition for machine selection is as follows:
- It is non context free language
- It is non regular language
The strings for this machine are like:
- Accepts: ab, aabbbb, babb,.....
- Rejects: aba, aaa, abbb,.....
Pumping Lemma:
Reference:
Book: An introduction to formal languages and Automata by Linz;
page no# 211, example no# 8.4
State diagram of machine:
State diagram of this TM in JFlap is given below
Simulation of machine in JFlap:
In this video i explained the simulation of my machine through JFlap on each step by input the accept and reject string. I also explained how the machine is working on each state.
Simulation of machine in Unity 3D:
This is the simulation of machine with the Air force theme and Blender 3D models in Unity 3D.
Links:
Sound cloud:
This is the link of album contains all sounds recorded for this project.
This project is completed under the supervision of Dr. Muaz Niazi.