Question

What are the relations and differences between formal systems, rewriting systems, formal grammars and automata?

score 604 · Answer 1 · 2026-03-25 10:55:54

604

Views

What are the relations and differences between formal systems, rewriting systems, formal grammars and automata?

Published on 25 Mar 2026 - 10:55

score 196 · Answer 2 · 2020-09-02 20:54:26

196

Views

What is the connection between the language (of some formal grammar) and algebra on the words of this language?

Published on 02 Sep 2020 - 20:54

score 95 · Answer 3 · 2020-09-22 15:39:42

95

Views

Converting a regular expression to a grammar and regular grammar

Published on 22 Sep 2020 - 15:39

score 1.1k · Answer 4 · 2020-09-27 03:45:51

1.1k

Views

Context free grammar for palindrome over ALL terminals?

Published on 27 Sep 2020 - 3:45

score 29 · Answer 5 · 2020-11-09 21:52:50

29

Views

Does every restriction on word formation constitute a formal grammar?

Published on 09 Nov 2020 - 21:52

score 107 · Answer 6 · 2020-11-11 02:12:56

107

Views

Give an expression that describe the language generated by this grammar

Published on 11 Nov 2020 - 2:12

score 16 · Answer 7 · 2026-03-07 20:11:53

16

Views

Can an indexed grammar exclude a prefix from a postfix?

Published on 07 Mar 2026 - 20:11

score 21 · Answer 8 · 2021-03-09 10:09:47

21

Views

Make formal grammar for the language

Published on 09 Mar 2021 - 10:09

score 39 · Answer 9 · 2021-04-08 16:00:33

39

Views

Uniqueness quantification for inverse elements, for all elements of a group / uniqueness quantification for identity element, is this correct?

Published on 08 Apr 2021 - 16:00

score 623 · Answer 10 · 2021-04-13 15:37:13

623

Views

How to prove that L* is context free?

Published on 13 Apr 2021 - 15:37

score 515 · Answer 11 · 2021-04-20 18:40:07

515

Views

How to prove that my CFG grammar generates $L_1$

Published on 20 Apr 2021 - 18:40

score 71 · Answer 12 · 2021-04-27 17:33:05

71

Views

Can we find grammar for every CFL without $ε $ with these productions

Published on 27 Apr 2021 - 17:33

score 23 · Answer 13 · 2021-04-28 15:31:40

23

Views

What specific properties of CFGs & CSGs do we lose, when we redefine the starting symbol to be either terminal or non-terminal?

Published on 28 Apr 2021 - 15:31

score 76 · Answer 14 · 2021-08-14 08:28:24

76

Views

Formalization of Lemma for proof of AM-GM inequality

Published on 14 Aug 2021 - 8:28

score 21 · Answer 15 · 2021-08-24 00:23:07

21

Views

Does additive quasigroup generated by arbitrary subset $K$ of natural numbers contain each sufficiently big $\gcd (K)$ multiplication?

Published on 24 Aug 2021 - 0:23

List Question

What are the relations and differences between formal systems, rewriting systems, formal grammars and automata?

What is the connection between the language (of some formal grammar) and algebra on the words of this language?

Converting a regular expression to a grammar and regular grammar

Context free grammar for palindrome over ALL terminals?

Does every restriction on word formation constitute a formal grammar?

Give an expression that describe the language generated by this grammar

Can an indexed grammar exclude a prefix from a postfix?

Make formal grammar for the language

Uniqueness quantification for inverse elements, for all elements of a group / uniqueness quantification for identity element, is this correct?

How to prove that L* is context free?

How to prove that my CFG grammar generates $L_1$

Can we find grammar for every CFL without $ε $ with these productions

What specific properties of CFGs & CSGs do we lose, when we redefine the starting symbol to be either terminal or non-terminal?

Formalization of Lemma for proof of AM-GM inequality

Does additive quasigroup generated by arbitrary subset $K$ of natural numbers contain each sufficiently big $\gcd (K)$ multiplication?

Trending Questions

Popular # Hahtags

Popular Questions