4. 注文の定義
吉野家における牛丼の注文を以下のように定義する。エンコードは、通常は音声に
よって行われる。

注文 := 牛丼サイズ 調味指定* 追加注文*

牛丼サイズ := ( "特盛り" | "大盛り" | "並" )

調味指定 := 調味物 量指定

調味物 := ( "ネギ" | "つゆ" )

量指定 := ( "だく" | "ぬき" )

追加注文 := ( "味噌汁" | "ギョク" )

"大盛りねぎだくギョク" が最強の "通" らしさを演出することがエンピリカルな
根拠から主張されており、この見解はネットワークコミュニティにおいて強く
支持されている [2]。

調味指定オプションとしての「つゆだく」組合せは、過去との互換性のためだけに
用意されており、新規注文における利用は推奨できない。単に「つゆだくで」と
言いたいだけの目的でこのオプションを使用することは、厳に慎まれるべきである。