- Added: A formal grammar is a set of formation rules for strings in a formal language. Formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. I wonder what differences are between formal grammar and formation rules?
Formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language.
An automaton recognizes a formal language, i.e. it can tell whether a string belongs to the language.
So I think formation rules and automatons are doing the same thing? What differences are between them?
Thanks and regards!