@id:5699
$name:turing machine