Source: wikibot/state-merging
= State-merging
{wiki=State-merging}
State-merging is a concept found primarily in the fields of computer science, specifically in automata theory, formal verification, and model checking. It refers to the process of combining multiple states in a system or model into a single state to simplify the representation of that system without losing essential behavior or properties.