Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295689541> ?p ?o ?g. }
Showing items 1 to 29 of
29
with 100 items per page.
- W4295689541 abstract "Motivated by creating physical theories, formal languages $S$ with variables are considered and a kind of distance between elements of the languages is defined by the formula $d(x,y)= ell(x nabla y) - ell(x) wedge ell(y)$, where $ell$ is a length function and $x nabla y$ means the united theory of $x$ and $y$. Actually we mainly consider abstract abelian idempotent monoids $(S,nabla)$ provided with length functions $ell$. The set of length functions can be projected to another set of length functions such that the distance $d$ is actually a pseudometric and satisfies $d(xnabla a,ynabla b) le d(x,y) + d(a,b)$. We also propose a signed measure on the set of Boolean expressions of elements in $S$, and a Banach-Mazur-like distance between abelian, idempotent monoids with length functions, or formal languages." @default.
- W4295689541 created "2022-09-14" @default.
- W4295689541 creator A5045556169 @default.
- W4295689541 date "2022-09-11" @default.
- W4295689541 modified "2023-09-29" @default.
- W4295689541 title "Information content in formal languages" @default.
- W4295689541 doi "https://doi.org/10.48550/arxiv.2209.04849" @default.
- W4295689541 hasPublicationYear "2022" @default.
- W4295689541 type Work @default.
- W4295689541 citedByCount "0" @default.
- W4295689541 crossrefType "posted-content" @default.
- W4295689541 hasAuthorship W4295689541A5045556169 @default.
- W4295689541 hasBestOaLocation W42956895411 @default.
- W4295689541 hasLocation W42956895411 @default.
- W4295689541 hasOpenAccess W4295689541 @default.
- W4295689541 hasPrimaryLocation W42956895411 @default.
- W4295689541 hasRelatedWork W108047738 @default.
- W4295689541 hasRelatedWork W2058969527 @default.
- W4295689541 hasRelatedWork W207144098 @default.
- W4295689541 hasRelatedWork W2082444787 @default.
- W4295689541 hasRelatedWork W2126572056 @default.
- W4295689541 hasRelatedWork W2277591072 @default.
- W4295689541 hasRelatedWork W2783695958 @default.
- W4295689541 hasRelatedWork W2963456256 @default.
- W4295689541 hasRelatedWork W6119615 @default.
- W4295689541 hasRelatedWork W3100404656 @default.
- W4295689541 isParatext "false" @default.
- W4295689541 isRetracted "false" @default.
- W4295689541 workType "article" @default.