@id:5699
$name:Turing machine