mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.7K
active users

Puppy Pi

Can all Context-Free Grammars be described in Backus-Naur Form/Syntax?

Is BNF a "form" like Chomsky Normal Form or Greiback Normal Form, or is it just a "syntax" that can encode all CFG's and all BNF documents describe a CFG (a bijective encoding)?

The internet only tells me things that are so Basic I don't trust them to know about such questions, or so advanced they already assume I know the answer to this X'D





@Canageek Sure, thanks! :D

Always feel free to boost my posts if/whenever you like :>

@codepuppy yes, BNF describes context free grammars, and every CFG can be encoded in BNF.
It seems that BNF was in fact inspired by Chomsky Normal Form, but it's not exactly a normal form, just a form of encoding a grammar (according to https://en.m.wikipedia.org/wiki/Backus%E2%80%93Naur_form )
en.m.wikipedia.orgBackus–Naur form - Wikipedia

@aster Yessssssssss confirmation! Thank youuuuu :D

Now I can just represent the *data model* of BNF as "Context-Free Grammar", with BNF being a syntax/encoding of it! ^w^