X-EX.Load

X-EX.Load is a set of Underload "subsets", which are believed by their creator, User:Yayimhere, to all be less powerful than Underload(though this is unconfirmed in certain cases). Each of the subsets have their own name. Each is defined by their command subset, and whatever new command added. Each non turing complete subset is also considered its own "improper class" of computational class.

W_Load

W_Load uses the subset ~:!a^S, and the new command _x where x is a single character, is defined as the underload code (x). Note that we can define a as wrapping the top of the stack in _ and not ().

Computational class

W_Load is at a maximum, Total, because even the smallest infinite loop((:^):^) is impossible to create, because only single characters(or single characters surrounded by brackets). However, its actual class is unknown, and propably is its own unique class, which doesn't have a set name(similar to a single register minsky machine)

C_Load

C_Load uses the subset ~:!a^S*, with the new command s;, where s is a string reaching from the start of the program to right before the ;, and is defined in underload as (s). In this case, a is equal to pushing a ; and then running *.

Computational class

C_Load's computational class is unknown, but it is more powerful than a FSA, as the program (::^)::^ can be translated into ::^;::^, which uses infinite memory. Infact, any program that only has left brackets at the start of the program in one long string can be translated into C_Load:

• (((...s becomes s
• ) becomes ;.

As such, C_Load can only push a single static string at the start of the program.

P_Load

P_Load uses the subset ~!^S*() and the new command added - which is equal to :*. Note that if a was present, you could define : as a-^. As such, a was removed.

Computational class

I genuinly dont have much of an idea, but it seems to me it is total, because that atleast the normal loop, (:^):^ cant be directly translated, and in general you can never "recover" a push of something.

inP_Load

inP_Load is a slight modification of P_Load. It uses the subset ~!a^S*(), and redefines - as a:^*(or, :a~*).

Computational class

Alike P_Load, I dont know, however it can loop as (-^)-^.