1
$\begingroup$
  1. 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?
  2. 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!

1 Answers 1