プログラム www.cs.virginia.edu/~ph4u/dprle/

DPRLE (通常の言語方程式の決定手順) は、言語変数と連結を含むサブセット制約を解決します。