Abstraktigala mashino
Abstraktigala mashino en informatiko es teoriala modelo, qua permisas por detalala e preciza analizo pri funcionado di komputerala sistemo.

Lo es simila a matematikala funciono, qua recevas adportajo e kreas produkturo segun predefinita reguli.

Matematiko
Informatiko