Army Force

Achievements:

In this course i have learned the mathematical notations and languages of computations like Regular languages, context free and recursively numerable languages. I have also learned the theoretical concepts i.e decidable and undecidable problems. I learned the concept of proving the context free language through Pumping lemma. The concept of complexity also learned in this course. The P, NP and and NP hard problem. Besides the theoretical concepts in this course i have learned many tools like JFlap, Blender, Unity 3D and Overleaf in this course.

Machine scene:

This the Army scene of machine simulated in Unity 3D. In which language is simulated according to JFlap working. 3D Models and animation are also used in the simulation.

Blender Models:

These are the 3D model built in Blender that are used in the machine scene for animation.

  • Army Tank
  • Heavy Army Tank
  • Army Jeep
  • Tank bullet
  • Army helicopter

Turing machine language : L = { anbjakbl n <= k , j <= l }

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

This language accepts the strings in which no. of a 's are equal or second 'a' in the language is greater and same with the 'b'.

Strings for this machine are like:

  • Accepts: abab, aabbaabb, babb,....
  • Rejects: aba, aabab,ababa,....

Pumping Lemma:

Reference:

Book: An introduction to formal languages and Automata by Linz;

page no# 215, Question no# 8

State diagram of machine:

State diagram of this TM in JFlap is given below

Simulation of machine in JFlap:

This is the simulation of my language on JFlap. I explained the machine by using the accepting and rejecting strings. The simulation is given below in the video.

Simulation of machine in Unity:

This is the simulation of machine in Unity 3D with the Army theme.

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.