Everyone

faadooengineers.com

Ice Cream Sandwich

This unique free application is for all students of Automata across the world. It covers 138 topics of Automata in detail. These 138 topics are divided in 5 units. 

Each topic is around 600 words and is complete with diagrams, equations and other forms of graphical representations along with simple text explaining the concept in detail.

The USP of this application is "ultra-portability". Students can access the content on-the-go from any where they like. 

Basically, each topic is like a detailed flash card and will make the lives of students simpler and easier.

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

103.	Simulations of turing machine

104.	Basic Undecidability Proofs

105.	RiceÃ¢â‚¬â„¢s Theorem

106.	GreibachÃ¢â‚¬â„¢s Theorem

107.	PostÃ¢â‚¬â„¢s correspondence problem (PCP)

108.	PCP is undecidable

109.	Proof sketch of the undecidability of PCP

110.	Basic Notions in Logic including SAT

All topics are not listed here due to character limitations set by Google Play Store.이 독특한 무료 응용 프로그램은 전세계 오토마타의 모든 학생들을위한 것입니다. 그것은 세부 오토마타의 138 주제를 다룹니다. 이 138 주제는 5 단위로 분할된다.

각 주제는 약 600 단어이고 상세하게 개념을 설명하는 간단한 텍스트와 함께 다이어그램, 방정식과 그래픽 표현의 다른 형태의 완전하다.

이 응용 프로그램의 USP는 "매우 이식성"입니다. 학생들은 온 - 더 - 가서 그들이 좋아하는 곳에서 모든 콘텐츠에 액세스 할 수 있습니다.

기본적으로, 각 항목에 대한 자세한 플래시 카드처럼 학생들의 생활을 간단하고 쉽게 할 것이다.

이 응용 프로그램에서 다루는 내용의 일부는 다음과 같습니다 :

1. 소개 이론과 형식적인 언어 오토마타하기

2. 유한 오토마타

3. 결정적 유한 상태 오토마타 (DFA)

4. 세트

5. 관계 및 기능

기능 6. 점근 동작

7. 문법

8. 그래프

9. 언어

10. 비 결정적 유한 오토마타

11. 문자열과 언어

12. 부울 논리

문자열 13. 주문

언어 14. 운영

15. 클리 스타, Ã ¢ â, ¬ ËœÃ ¢ Ë † â € "â ¢ â ', ¬ â"¢

16. 동형

17. 기계

18. DFAS의 힘

비정규직 언어를 받아 들인다 19. 기계의 종류

NFA와 DFA 20. 등가

21. 정규 표현식에게

22. 정규 표현식 및 언어

23. 정규 표현식을 구축

24. 정규 표현식에 NFAS

25. 양방향 유한 오토마타

출력 26. 유한 오토마타

27. 일반 세트의 특성 (언어)

28. 보조 정리를 펌핑

일반 언어 29. 폐쇄 속성

30. 마이 힐 - Nerode 정리 - 1

문맥 자유 문법 31. 소개

32. 마우스 오른쪽 단추로 선형 문법에 왼쪽 선형 문법의 변환

33. 유도 트리

34. 구문 분석

35. 모호함

CFG 36. 단순화

37. 일반 양식

38. Greibach 정규형

39. 푸시 다운 오토마타

NPDA 40. 전환 기능

NPDA 41. 실행

PDA 및 컨텍스트 무료 언어 사이 42. 관계

NPDA 43. CFG

CFG 44. NPDA

문맥 - 자유 언어 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 비 결정적 유한 오토마타

DFA에 NFA 70. 전환

71. Connectives

72. 동어 반복, 모순과 비상

73. 논리 ID를

74. 논리적 추론

75. 자 및 한정사

76. 수량 자와 논리 연산자

77. 일반 양식

78. 반점이 무어 기계

79. 마이 힐 - Nerode 정리

80. 의사 결정 알고리즘

ÃŽÂμ - 움직임과 함께 81. NFA

82. 이진 관계의 기초

83. 전이 및 관련 관념

84. 등가 (예약 주문 플러스 대칭)

85. 기계 사이의 힘의 관계

86. 재귀 다루기

87. Y 연산자

88. 적어도 고정 소수점

89. DFAS를 오류 정정

90. 궁극의 주기성 및 DFAS

91. 기계적 / 논리 연결

92. 이진 결정 다이어그램 (BDDs)

BDDs에 93. 기본 조작

고정 소수점에서 94. 안정화

형식적인 언어 및 기계 95. 분류학

96. 소개 푸시 다운하는 오토마타

97. 오른쪽 및 왼쪽 선형 CFGs

98. 개발 CFGs

99. CFL을위한 펌핑 보조 정리

100. CFL을위한 펌핑 보조 정리

101. 수용, 앞뒤가 맞지 않는, 거부

102. NDTMs

튜링 기계의 103. 시뮬레이션

104. 기본 결정 불가능 증서

105. RiceÃ ¢ â ', ¬ â "¢의 정리

106. GreibachÃ ¢ â, ¬ â "¢의 정리

107. 포스타 ¢ â, ¬ â "¢의 대응 문제 (PCP)

(108)를 포함한다. PCP는 결정 불가능합니다

PCP의 결정 불가능 성 109. 증명 스케치

SAT 등의 논리에 110.되는 기본 개념

모든 주제 인해 구글 플레이 스토어에 의해 설정된 문자 제한으로 여기에 나열되지 않습니다.

Automata | Comp. Sc. Engg.-1

Automata | Comp. Sc. Engg.-1의 최신 버전

다른 버전들