Skip to content

Various bits of Vim stuff to prove Turing Completeness

Notifications You must be signed in to change notification settings

AMiller42/Vim-TC-Proofs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 

Repository files navigation

Vim TC Proofs

This is a collection of programs to prove that Vim is Turing Complete, for example by interpreting Turing Complete languages.

Note that this will be a bit different from VimScript, as all of these programs are collections of Normal/Ex mode commands. This has some key differences:

  • Input/Output is done through reading/writing to/from the open buffer.
  • We aren't creating any functions, only using functions that already exist. Instead, we will use macros.
  • We won't use variables, or data structures like arrays or dictionaries. Data will be stored only as text, either in registers or in the buffer.
  • There's probably other differences, but I don't feel like thinking of them.

You can try any of these programs yourself by opening Vim, then copy/pasting the program in to have it execute each command one after another.

You can also try them at Try it Online! using the V interpreter, which is backwards compatible with Vim.

About

Various bits of Vim stuff to prove Turing Completeness

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published