Tau Meta Language : Dycks Language in 2 lines of code 🔥

Save
3 years ago
4

Walther von Dyck, a was German mathematician who laid the foundations of combinatorial group theory & the first to systematically study a group by generators and relations, would be so happy to see this video🚀

"TML (Tau Meta-Language) is a variant of Datalog. It is intended to serve as a translator between formal languages (and more uses, see under the Philosophy section). The main difference between TML and common Datalog implementations is that TML works under the Partial Fixed-Point (PFP) semantics, unlike common implementations that follow the Well-Founded Semantics (WFS) or stratified Datalog. By that TML (like with WFS) imposes no syntactic restrictions on negation, however unlike WFS or stratified Datalog it is PSPACE complete rather than P complete. TML's implementation heavily relies on BDDs (Binary Decision Diagrams) in its internals. This gives it extraordinary performance in time and space terms, and allowing negation to be feasible even over large universes. In fact negated bodies, as below, do not consume more time or space than positive bodies by any means, thanks to the BDD mechanism."

~https://github.com/IDNI/TML

In the theory of formal languages of computer science, mathematics, and linguistics, a Dyck word is a balanced string of square brackets [ and ]. The set of Dyck words forms the Dyck language.

Dyck words and language are named after the mathematician Walther von Dyck. They have applications in the parsing of expressions that must have a correctly nested sequence of brackets, such as arithmetic or algebraic expressions.

~ Wikipedia

"A string is balanced if
1. Number of open parentheses = Number of closed parentheses
2. In every prefix, Number of open parentheses is greater than or equal to the Number of closed parentheses.

Dyck phrases are exactly the balanced strings. "

~ Stefano Crespi Reghizzi, A century of parentheses languages
https://computerscience.unicam.it/ictcs2010/abstract/invited%20paper%201.pdf

I am just a community member, a Tauist, with my personal initiative and trying my best to give value to the world. I believe TML (tau meta language) will be the future Internet of Language, and Tau will change the world for the better. 💫

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

Loading comments...