Deciding Whether a Regular Language Is Generated by a Splicing System

From MaRDI portal
Publication:5200602