## Keyboard shortcuts

Press `←` or `→` to navigate between chapters

Press `S` or `/` to search in the book

Press `?` to show this help

Press `Esc` to hide this help

- Auto
- Light
- Dark

# Algorand Specifications

This part describes the Algorand Virtual Machine (AVM), a _bytecode-based Turing-complete_ _stack interpreter_ that executes programs associated with Algorand transactions.

_TEAL_ is an assembly language syntax for specifying a program that is ultimately converted to AVM bytecode.

The AVM approves or rejects transactions’ effects on the [Ledger](https://specs.algorand.co/ledger/ledger-overview) state.