リバーシブル・オートマトン

モノイドがリバーシブルだとは、r:M→M^op という同型射を備えているとき。オートマトンがリバーシブルだとは、単に作用するモノイドがリバーシブルであるとき。

言語＝モノイドの部分集合に対して、リバース演算を拡張できる。よって、言語の順序集合（やせた圏）も対合を持つような構造となる。

リバース演算＝対合を持つと、色々と変わるかも知れない。