State Names
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__
Last updated
Was this helpful?
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__
Last updated
Was this helpful?