TML11: PSPACE Complete and Capture PSPACE #shorts

1 year ago

A problem is PSPACE Complete if any problem that can in principle be solved using polynomial space can be converted in a short time to that PSPACE Complete problem. This is what TML being PSPACE Complete means, in fact, TML is not only PSPACE Complete, it is also so-called Capture PSPACE, not only that the conversion can be done but also, the conversion can be done using TML itself. It is not the case for some other PSPACE Complete problems or complete problems in general. So anything that can be computed in polynomial space can be expressed in TML.
- Ohad Asor, Founder and CTO of Tau https://tau.net/our-team/ #shorts

🎥 https://www.youtube.com/watch?v=9R6zjtPREgo&list=PLeBSjZu0y6vXYCHH38ToqlVoyOd1qeS5f&index=11 👈

🧀Test Tau Meta Language.
🔗 tml.tau.net
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published Codes
🔗 github.com/IDNI/TML
🌐Website of Tau
🔗 tau.net/
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain

Loading comments...