Register MachineCovers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Foundations of SoftwareCovers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.
Machine Usage BasicsCovers the practical aspects of using a Fehlmann type picomax machine, emphasizing tool handling, precision adjustments, and maintenance procedures.
Machine Usage BasicsCovers the practical aspects of machine operation, including precision adjustments, tool changing, maintenance, and basic programming functions.
Definition of RobotsDelves into the definition of robots, emphasizing their programmability and ability to perform complex actions.