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">lý thuyết automata là nghiên cứu về máy trừu tượng và automata. Đó là một lý thuyết khoa học máy tính lý thuyết, và toán học rời rạc. Máy tự động bắt nguồn từ tiếng Hy Lạp αὐτόματα có nghĩa là "tự diễn xuất".

Các ứng dụng ghi chú lớp học về chủ đề công nghệ thông tin (CNTT), Khoa học máy tính kỹ thuật, toán học rời rạc & sinh viên Toán.

Mục đích của ứng dụng là học nhanh hơn các phiên bản đối tượng và nhanh chóng của các chủ đề. Các chủ đề được tạo ra theo cách nhanh chóng hấp thụ chủ đề.

Nó bao gồm 138 chủ đề của Máy tự động chi tiết. Những 138 chủ đề được chia thành 5 đơn vị.

Một số chủ đề Bao trong ứng dụng này là:

1. Giới thiệu về automata lý thuyết và chính Ngôn ngữ

2. automata hữu hạn

3. xác định automaton hữu hạn nhà nước (DFA)

4. Bộ

5. Quan hệ và chức năng

6. Hành vi tiệm cận của hàm

7. Grammar

8. Đồ thị

9. Ngôn ngữ

10 automaton hữu hạn nondeterministic

11. Strings và Ngôn ngữ

12. Boolean Logic

13. Đơn đặt hàng cho Strings

14. Các phép toán trên ngôn ngữ

15. Kleene sao, à ¢ â,¬ËœÃ ¢ Ë † â € "à ¢ â, ¬ â" ¢

16. đồng cấu

17. Máy móc

18. Sức mạnh của DFAs

19. loại máy mà chấp nhận ngôn ngữ không thường xuyên

20. Tính tương đương của NFA và DFA

21. Regular Expressions

22. Regular Expressions và Ngôn ngữ

23. Xây dựng Regular Expressions

24. NFAs để Regular Expression

25. Máy tự động hai chiều hữu hạn

26. hữu hạn Máy tự động với đầu ra

27. Tài sản của bộ thường xuyên (Ngôn ngữ)

28. Bổ đề bơm

29. tính Đóng ngôn ngữ thường xuyên

30. Myhill-Nerode lý-1

31. Giới thiệu về Context-Free ngữ pháp

32. Chuyển đổi trái tuyến Grammar thành phải-Linear Grammar

33. Cây thức chiết khấu

34. Phân tích cú pháp

35. Sự mơ hồ

36. Đơn giản hóa CFG

37. Hình thức bình thường

38. Greibach Normal Form

39. Máy tự động kéo xuống

40. Chức năng chuyển tiếp cho NPDA

41. Thi hành NPDA

42. Mối quan hệ giữa PDA và bối cảnh ngôn ngữ miễn phí

43. CFG để NPDA

44. NPDA đến CFG

45. Tài sản của ngôn ngữ ngữ cảnh miễn phí

46. ​​Chứng minh bổ đề bơm

47. Cách sử dụng của bơm Bổ đề

48. Các thuật toán dicision

49. Máy Turing

50. Lập trình một máy Turing

51. máy Turing như Transducers

52. ngôn ngữ hoàn chỉnh và chức năng

53. Sửa đổi của máy Turing

Church-Turing 54. luận án

55. liệt kê Strings trong một ngôn ngữ

56. Tạm dừng Vấn đề

57. Định lý Rice

58. Bối cảnh nhạy cảm ngữ pháp và ngôn ngữ

59. Chomsky hirarchy

60. Unrestricted ngữ pháp

61. Giới thiệu về lý thuyết phức tạp

62. thuật toán thời gian đa thức

63. satisfiablity boolean

64. Vấn đề bổ sung NP

65. Hệ thống chính

66. Thành phần và đệ quy

Định lý 67. Ackermann của

68. Döï Luaät

69. exampleof Không xác định hữu hạn Máy tự động

70. Chuyển đổi của NFA để DFA

71. từ nối

72. lặp thừa, mâu thuẫn và dự phòng

73. Identities Logical

74. suy luận logic

75. vị từ và định lượng

76. Quantifiers và khai thác hợp lý

77. hình thức bình thường

78. Mealy và Moore Máy

Định lý 79. Myhill-Nerode

80. Quyết định các thuật toán

81. NFA với ÃŽÂμ-di chuyển

82. Khái niệm cơ bản quan hệ nhị phân

83. Transitive, và quan niệm liên quan

84. Tính tương đương (Preorder cộng đối xứng)

85. Sức mạnh quan hệ giữa Máy móc

86. Xử lý Recursion

điều hành 87. Y

88. nhất điểm cố định

89. DFAs Error-sửa chữa

90. Cuối cùng chu kỳ và DFAs

91. Automaton / Logic kết nối

92. Sơ đồ Quyết định nhị phân (BDDs)

93. Hoạt động cơ bản trên BDDs

94. Ổn định ở cố định điểm

95. Một phân loại tư duy của ngôn ngữ chính thức và Máy móc

96. Giới thiệu về đẩy xuống automata

97. phải và trái-Linear CFGs

98. Phát triển CFGs

99. Một bơm Bổ đề cho CFL

100. Một bơm Bổ đề cho CFL

101. Chấp nhận, Tạm dừng, bác bỏ

102. NDTMs

LIÊN KẾT QUAN TRỌNG

Phản hồi: Chia sẻ thông tin phản hồi của bạn tại essyengineering@gmail.com

liên kết xã hội

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

Twitter: https://twitter.com/easyengineerin

Website: http: //www.engineeringapps.net/</div> <div class="show-more-end">