User blog comment:Wythagoras/SuperJedi's X function/@comment-4224897-20141113192733/@comment-10429372-20150430191433

What is k-counter machine?