Automata theory

Automata theory is the study of abstract machines and automata. It is a theory in theoretical computer science, & discrete mathematics. Automata comes from the Greek word αὐτόματα meaning "self-acting".

The app is classroom notes on the subject for Information technology (IT), Computer Science engineering, discrete mathematics & Mathematics students.

The purpose of the App is faster learning of the subject and quick revisions of the topics. The Topics are created in manner to quickly absorb the subject.

It covers 138 topics of Automata in detail. These 138 topics are divided in 5 units.

Some of topics Covered in this application are:

1. Introduction to automata theory and Formal Languages

2. Finite automata

3. Deterministic finite state automaton (DFA)

4. Sets

5. Relations and Functions

6. Asymptotic Behavior of Functions

7. Grammar

8. Graphs

9. Languages

10. Nondeterministic finite automaton

11. Strings and Languages

12. Boolean Logic

13. Orders for Strings

14. Operations on languages

15. Kleene Star, ‘∗’

16. Homomorphism

17. Machines

18. The power of DFAs

19. Machine types that accept non-regular languages

20. Equivalence of NFA and DFA

21. Regular Expressions

22. Regular Expressions and Languages

23. Building Regular Expressions

24. NFAs to Regular Expression

25. Two-way Finite Automata

26. Finite Automata with Output

27. Properties of regular sets (Languages)

28. Pumping Lemma

29. Closure properties of regular languages

30. Myhill-Nerode Theorem-1

31. Introduction to Context-Free Grammars

32. Conversion of Left-linear Grammar into Right-Linear Grammar

33. Derivation Tree

34. Parsing

35. Ambiguity

36. Simplification of CFG

37. Normal Forms

38. Greibach Normal Form

39. Pushdown Automata

40. Transition Functions for NPDA

41. Execution of NPDA

42. Relation between pda and context free language

43. CFG to NPDA

44. NPDA to CFG

45. Properties of context-free languages

46. Proof of Pumping Lemma

47. Usage of Pumping Lemma

48. dicision Algorithms

49. Turing Machine

50. Programming a Turing Machine

51. Turing Machines as Transducers

52. Complete language and functions

53. Modification of turing machines

54. Church-turing thesis

55. Enumerating Strings in a Language

56. Halting Problem

57. Rice's Theorem

58. Context sensitive grammar and languages

59. The chomsky hirarchy

60. Unrestricted grammar

61. Introduction to Complexity Theory

62. polynomial time algorithm

63. boolean satisfiablity

64. Additional NP problem

65. Formal systems

66. Composition and recursion

67. Ackermann's theorem

68. Propositions

69. Exampleof Non Deterministic Finite Automata

70. Conversion of NFA to DFA

71. Connectives

72. Tautology, Contradiction and Contingency

73. Logical Identities

74. Logical inference

75. Predicates and quantifiers

76. Quantifiers and logical operators

77. Normal forms

78. Mealy and moore Machine

79. Myhill-Nerode theorem

80. Decision algorithms

81. NFA with ε-moves

82. Binary Relation Basics

83. Transitive, and Related Notions

84. Equivalence (Preorder plus Symmetry)

85. The Power Relation between Machines

86. Dealing with Recursion

87. The Y operator

88. The least fixed-point

89. Error-correcting DFAs

90. Ultimate Periodicity and DFAs

91. The Automaton/Logic Connection

92. Binary Decision Diagrams (BDDs)

93. Basic Operations on BDDs

94. Stabilization at a Fixed-Point

95. A Taxonomy of Formal Languages and Machines

96. Introduction to Push-down Automata

97. Right- and Left-Linear CFGs

98. Developing CFGs

99. A Pumping Lemma for CFLs

100. A Pumping Lemma for CFLs

101. Acceptance, Halting, Rejection

102. NDTMs

IMPORTANT LINKS

Feedback: Share your feedback at essyengineering@gmail.com

Social links

Facebook : https://www.facebook.com/EngineeringEasy/

Twitter : https://twitter.com/easyengineerin

Website:http://www.engineeringapps.net/

</div> <div jsname="WJz9Hc" style="display:none">نظرية الآلي وهو دراسة آلة مجردة ولدن. وهي نظرية في علم الحاسوب النظري، والرياضيات المنفصلة. لدن تأتي من الكلمة اليونانية αὐτόματα بمعنى "المفعول النفس".

التطبيق هو الملاحظات الصفية على هذا الموضوع لتكنولوجيا المعلومات (IT)، والهندسة علوم الحاسوب، الرياضيات المتقطعة والرياضيات للطلاب.

والغرض من التطبيق هو التعلم أسرع من التنقيحات تخضع وسريعة من المواضيع. يتم إنشاء مواضيع بطريقة لاستيعاب بسرعة هذا الموضوع.

ويغطي 138 موضوعات التشغيل الذاتي في التفاصيل. وتنقسم هذه المواضيع 138 في 5 وحدات.

بعض من المواضيع التي تمت تغطيتها في هذا التطبيق هي:

1. مقدمة في نظرية الآلي واللغات الرسمية

2. الآلي محدود

3. حتمية إنسان الدولة محدودة (DFA)

4. مجموعات

5. العلاقات وظائف

6. السلوك مقارب من وظائف

7. قواعد

8. الرسوم البيانية

9. اللغات

10. آلة محدودة الحالات غير قطعية

11. سلاسل واللغات

12. منطقية المنطق

13. أوامر سلاسل

14. العمليات في اللغات

15. كليين ستار، à ¢ â،¬ËœÃ ¢ Ë † â € "à ¢ â" ¢

16. مفهوم التشاكل

17. آلات

18. قوة DFAS

19. أنواع آلة التي تقبل لغات غير العادية

20. معادلة من الاتحاد النيجيري وزارة الشؤون الخارجية

21. التعبير العادية

22. التعبير العادية واللغات

23. مبنى التعبير العادية

24. صافي الموجودات الأجنبية للتعبير منتظم

25. التشغيل الذاتي في اتجاهين محدود

26. محدود الباردون مع الناتج

27. خصائص مجموعات العادية (لغات)

28. الضخ يما

29. خصائص اختتام اللغات العادية

30. مايهيل-Nerode نظرية-1

31. مقدمة في سياق خالية القواعد النحوية

32. التحويل من اليسار الخطية قواعد في الحق خطي النحوي

33. شجرة اشتقاق

34. توزيع

35. الغموض

36. تبسيط CFG

37. أشكال عادي

38. نموذج عادي Greibach

39. تصميم التوسيع لأسفل الباردون

40. وظائف الانتقال للNPDA

41. تنفيذ NPDA

42. العلاقة بين المساعد الشخصي الرقمي والسياق لغة حرة

43. CFG إلى NPDA

44. NPDA إلى CFG

45. خصائص اللغات خالية السياق

46. ​​إثبات ضخ يما

47. استخدام الضخ يما

48. الخوارزميات dicision ل

49. آلة تورينج

50. برمجة آلة تورينج

51. تورينج آلات مثل المحولات

52. اللغة وظائف كاملة

53. تعديل آلات تورنج

54. الكنيسة، تورينج أطروحة

55. تعداد الجمل في اللغة

56. وقف مشكلة

57. نظرية رايس

58. السياق قواعد حساسة واللغات

59. hirarchy تشومسكي

60. القواعد المطلقة

61. مقدمة في نظرية التعقيد

62. خوارزمية الوقت متعدد الحدود

63. satisfiablity منطقية

64. مشكلة NP إضافية

65. النظم الرسمية

66. تكوين والعودية

نظرية 67. أكرمان

68. المقترحات

69. Exampleof غير القطعية محدود الباردون

70. التحويل من الاتحاد النيجيري لDFA

71. حروف العطف

72. الحشو، التناقض والطوارئ

73. الهويات المنطقية

74. الاستدلال المنطقي

75. يسند ومحددو الكمية

76. محددو الكمية والعوامل المنطقية

77. أشكال عادي

78. دقيقي وآلة مور

79. مايهيل-Nerode نظرية

80. خوارزميات القرار

81. الاتحاد النيجيري مع ÃŽÂμ-التحركات

82. أساسيات العلاقات الثنائية

83. متعدية، ومفاهيم ذات علاقة

84. معادلة (ما قبل الطلب بالإضافة إلى التماثل)

85. علاقة القوة بين آلات

86. التعامل مع العودية

مشغل 87. Y

88. وأقل نقطة ثابتة

89. DFAS تصحيح خطأ

90. في نهاية المطاف دورية وDFAS

91. البارد / المنطق اتصال

92. رسم تخطيطي لقرار ثنائي (BDDs)

93. العمليات الأساسية على BDDs

94. لتحقيق الاستقرار في نقطة ثابتة

95. تصنيف للغات الرسمية والآلات

96. مقدمة لدفع إلى أسفل الباردون

97. اليمين واليسار الخطية CFGS

98. CFGS تطوير

99. وهناك ضخ ليما لالمصابيح

100. ضخ يما لالمصابيح

101. القبول، ووقف، رفض

102. NDTMs

روابط هامة

ردود الفعل: مشاركة ملاحظاتك في essyengineering@gmail.com

الروابط الاجتماعية

الفيسبوك: https://www.facebook.com/EngineeringEasy/

تويتر: https://twitter.com/easyengineerin

الموقع: http: //www.engineeringapps.net/</div> <div class="show-more-end">