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.