正規表現に潜む対称性 〜等式公理による等価性判定〜The document discusses regular expressions and finite automata. It begins by defining regular expressions using operations like concatenation, sum, and star. It then discusses how to interpret regular expressions by defining the language they represent. The document goes on to discuss how finite automata can also represent languages and how regular expressions and automata are equivalent based on
