Talk:FROSTWIRE-666: Difference between revisions
Jump to navigation
Jump to search
Content deleted Content added
trying to find a universal basis (for TCness) |
back to drawing boad on S Tags: Blanking Reverted |
||
| Line 1: | Line 1: | ||
== complete basis? == |
|||
I have tried to find a complete basis in these commands, but can't see a way to construct <code>K</code> from the available combinators. [[User:Yayimhere]], did you construct these to be Turing complete? |
|||
I believe <code>S</code> can be made from <code>ʎ̥ɯ̽ɯ̽</code>, so including "S from SKI" doesn't seem necessary. Swapping <code>S</code> with "K from SKI" should make this Turing complete. Also, <code>ꞎ</code> seems to recurse indefinitely regardless of the arguments, is it meant to be usable? (it's fine if not) [[User:Salpynx|Salpynx]] ([[User talk:Salpynx|talk]]) 02:42, 30 October 2024 (UTC) |
|||