A <- "a" A "a" / "b" A "b" / ""が受理する言語はいかなるものか?

タイトルの通りです。主に @kmizu と @chiguri さんが考察しています。