タグformal-languages - これはページ233です - GeneraCodice

言語が規則的であることを証明する方法は？

https://www.generacodice.com/jp/articolo/1095039/言語が規則的であることを証明する方法は

automata - formal-languages - reference-question - regular-languages - proof-techniques

cs.stackexchange

通常の言語が左商の下で閉じられていることを証明する方法は？

https://www.generacodice.com/jp/articolo/1095029/通常の言語が左商の下で閉じられていることを証明する方法は

formal-languages - regular-languages - closure-properties

cs.stackexchange

通常の言語での特定の長さの単語数

https://www.generacodice.com/jp/articolo/1093406/通常の言語での特定の長さの単語数

formal-languages - regular-languages - word-combinatorics

cs.stackexchange

通常の言語の単語数$（00）^*$

https://www.generacodice.com/jp/articolo/1093390/通常の言語の単語数-00

combinatorics - formal-languages - regular-languages - word-combinatorics

cs.stackexchange

言語が規則的でないことを証明するにはどうすればよいでしょうか?

https://www.generacodice.com/jp/articolo/1093375/言語が規則的でないことを証明するにはどうすればよいでしょうか

formal-languages - reference-question - regular-languages - proof-techniques

cs.stackexchange

少なくとも1回は1つの記号を必要とする言語の正規表現

https://www.generacodice.com/jp/articolo/1093333/少なくとも1回は1つの記号を必要とする言語の正規表現

formal-languages - regular-expressions

cs.stackexchange

ヒープとスタックの両方を備えた非決定的タイプ-1ミンヒープオートマトンのパワー

https://www.generacodice.com/jp/articolo/1093166/ヒープとスタックの両方を備えた非決定的タイプ-1ミンヒープオートマトンのパワー

automata - formal-languages

cs.stackexchange

複数のヒープを備えた非決定的タイプ-1ミニヒープオートマトンの計算能力

https://www.generacodice.com/jp/articolo/1093063/複数のヒープを備えた非決定的タイプ-1ミニヒープオートマトンの計算能力

automata - formal-languages

cs.stackexchange

文法以外の正式な言語を説明する他の方法はありますか？

https://www.generacodice.com/jp/articolo/1092801/文法以外の正式な言語を説明する他の方法はありますか

formal-languages - formal-grammars

cs.stackexchange

コンテキストフリーのグラマーの前後のセットは常にコンテキストフリーですか？

https://www.generacodice.com/jp/articolo/1092768/コンテキストフリーのグラマーの前後のセットは常にコンテキストフリーですか

formal-languages - formal-grammars - context-free - closure-properties

cs.stackexchange

結果が見つかりました: 2380