A state name in Varphi starts with the letter q, followed by at least one alphanumeric character or underscore (_).
Examples of valid state names include:
q0
qzero
q_My_State_
q_my_state__
The lexer uses the following pattern to match state names: