With a list of opcodes for a virtual machine, is it possible to assign a number to every possible program of size n that can be run on that machine?

Question

Say you have some virtual machine with < 100 numbered opcodes that fully specify its behaviour. Is there an easy way to order and enumerate all possible programs of less than n instructions, the result being that a particular number refers to a particular program? Preferably with natural numbers and short programs at the begining.

As this list would be combinatorially large, it would be helpful to assign these numbers without running the programs or loading them into memory.

Say $m$ is the number of opcodes, then the natural thing would be to encode programs with at most $n$ commands as $n$-length strings over the alphabet ${0,...,m-1}$. This is equivalent to considering $n$ digit numbers in base $m$, or natural numbers from $0$ to $m^n-1$ where the number $k$ represents the program obtained from the base $m$ representation of $k$. — Ariel, Apr 01 '21 at 10:57

score 2 · Accepted Answer · answered Apr 01 '21 at 21:33

2

There is no need to assign a number. The program already is a number.

If you have $m$ opcodes and your program has $n$ instructions, then it can be interpreted as an $n$-"digit" number written in base $m$.

answered Apr 01 '21 at 21:33

Jörg W Mittag

6,140
23
25

How do I get access to the ordering such that inputting a given number returns the program that the number maps to? – SubstantialRange Apr 01 '21 at 22:07
@SubstantialRange, https://cs.stackexchange.com/q/10318/755 – D.W. Apr 01 '21 at 22:09
@D.W. Wow, thanks for this! – SubstantialRange Apr 01 '21 at 23:05
1

@SubstantialRange: There is no mapping. The program is the number, the number is the program. – Jörg W Mittag Apr 01 '21 at 23:18

With a list of opcodes for a virtual machine, is it possible to assign a number to every possible program of size n that can be run on that machine?

1 Answers1