Steve Wampler wrote:
> # Build a signature identifying the equivalence class for state pair s.
> # (Godelization).
> procedure getClassSignature(s1, s2)
> state G
# Sigh, to much typing. That should be 'static G', of course.
> initial G := table()
> /G[s1] := gn(s1)
> /G[s2] := gn(s2)
> return G[s1]*G[s2]
> end
--
--
Steve Wampler [EMAIL PROTECTED]
The gods that smiled upon your birth are laughing now. -- fortune cookie
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Unicon-group mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/unicon-group
