chamotarooo https://blog.hatena.ne.jp/chamotarooo/ chamotaroooのブログ https://chamotaro.hatenablog.com/ 応用情報技術者試験 基礎理論 応用情報技術者試験の科目A（旧午前）では、BNFや正規表現で定めた規則に合う文字列の判定、状態遷移の追跡、中置記法から逆ポーランド記法への変換が問われます。この記事では、形式言語・オートマトン・逆ポーランド記法と、プログラムの正当性（部分正当性と全正当性）を整理します。どれも手で追える自作の例を付けます。逆ポーランド記法の式をスタックで評価する手順は、配列・リスト・スタック・キューの記事で扱います。 論点解説 形式言語は、「正しい文字列」の集合を有限個の規則で定め、ある文字列がその集合に入るかを機械的に判定するための考え方です。プログラム言語の構文やデータ形式を曖昧さなく決めるのに使われます。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fchamotaro.hatenablog.com%2Fentry%2Fouyou%2Ft008-formal-language-automata" title="形式言語・オートマトンと逆ポーランド記法【応用情報技術者試験 基礎理論】 - chamotaroooのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/c/chamotarooo/20260930/20260930095940.png Hatena Blog https://hatena.blog 2026-09-30 09:59:47 rich https://chamotaro.hatenablog.com/entry/ouyou/t008-formal-language-automata 1.0 100%