It will only work if your machine supports X-window. You will need to issue the following command from an Xterm window:
xhost +colos3.usr.dsi.unimi.it
If this is your first test of the formal languages environment AUTOMATA, you should have a look at the AUTOMATA manual. There is available also a concise tutorial on automata theory with examples.
Please enter your display address, in the form:
full.ip.display.name:0.0
colos3.usr.dsi.unimi.it:0.0
Select an example file: 0and1even.aut BinOdNum.aut ab+aba.aut twoCon1or0.aut wwR.aut