请教状态机赋初值的问题

我看见很多书上都说状态机上电必须进入一个明确的初始状态，然后我看书上的例子大部分都是
......
if (reset='1') then
current_state<=st0;
elsif (clk'event and clk='1') then
         current_state<=next_state;
......
process(......)
......
case current_state is
         when st0=>
                           ......
                           ......
这样写的意思是不是上电就有reset=‘1’，所以进入st0?如果程序里不满足上电就有reset='1'，那状态机会怎么样？请各位高手指点一些。谢谢！