177
 правок
Изменения
→Псевдокод
     <tex>\mathtt{Q} \leftarrow \varnothing</tex>
     <tex>\Delta \leftarrow \varnothing </tex>
     s = createState()              <font color=green>// createState создает некоторый объект, не принадлежащий <tex>Q</tex>, возвращает этот объект и добавляет его в <tex>Q</tex>  </font>  
     f = createState()
     <tex>F \leftarrow \{f\} </tex>