Tag pdf

16 bookmarks have this tag.

2025-07-04

1971.

Some relations between Markov algorithms and formal languages - Calcolo

link.springer.com/article/10.1007/BF02576816

Markov algorithms have received very little attention in the studies about formal languages, so the purpose of the present paper is twofold: i) to characterize languages in terms of Markov algorithms, and ii) to produce automatically Markov algorithms accepting or parsing languages generated by given grammars.

We use a particular, although universal, subclass of Markov algorithms, which we call “pointer Markov algorithms»; we obtain a characterization of: i) regular, ii) deterministic context-free, and iii) type O languages, which is quite «natural» in terms of these algorithms. Furthermore, we show that, given a right linear or a strongLL(k) grammar, it is possible to produce automatically a pointer Markov algorithm parsing the language generated by the grammar. These constructions are particularly interesting because pointer Markov algorithms can be compiled conveniently into machine code programs.

1970.

A Markov Algorithm Interpreter

www.tandfonline.com/doi/abs/10.1080/0020739730040216

In the study of fundamental properties of algorithms, attention is often given to classes of abstract general procedures. Of these, the Markov algorithm has some claims to favour owing to the simplicity of its semantics, the relative power of its basic operations and its independence of numerical concepts. Such a study will generally be assisted by some practical experience in using the methods introduced.

2025-07-03

1968.

The Markov algorithm as a language parser—Linear bounds

www.sciencedirect.com/science/article/pii/S002200007280014X

The Markov algorithm [1, 2] can be used as a language parser and as means fordefining languages [2–5]. This work is concerned with the amount of computing time which the algorithm requires. Computing time is measured by the number of comparisons between the rules of the grammar and the input string. A modification is introduced into the algorithm which reduces the computation time. It is proved that under certain conditions imposed on the rules of the grammar the computing time required by the modified algorithm is bounded linearly by the length of the input string. One set of such conditions requires that each application of a grammar rule reduces the length of the input string. Another set requires that each application does not increase the length of the input string and that the graph associated with the rules of the grammar satisfies certain restrictions.

2025-03-25

1844.

Play Hive Like a Champion

tesera.ru/images/items/2372481/ingersoll_randy_play_hive_like_a_champion_strategy_tactics_a.pdf

Wow so advanced

via Optozorax

1843.

Hive Puzzles vol. 1

gripot.se/hive/HivePuzzles_vol1.pdf

Hive the board game puzzles. A notation for games is also introduced.

via Optozorax

2025-03-14

1814.

Гарамон

info.paratype.ru/wp-content/uploads/2019/04/garamond.pdf

2025-01-09

Reposted 1718.

Willus.com's K2pdfopt

willus.com/k2pdfopt

Reformat PDF files for e-readers.

2024-09-27

1531.

NoteCards in a Nutshell

dl.acm.org/doi/10.1145/29933.30859

A paper about the old NoteCards program. I printed it out on an office printer and read it, unlike most other papers I saved in this Betula.

Organizing data in notecards, linking them. Notecards are not scrollable. Fileboxes and Browsers, special notecards. They state the system is programmable, but no detailed description of programmability is given. Interface is not really detailed.

Overall, this paper is not enough. I shall look for more.

2024-06-17

Reposted 1329.

a fast CLI tool for converting markdown to html

github.com/thebigbone/markhtml

Useful to save web pages as local markdown files, for search

Also useful to output PDF from pages!

2024-05-18

1260.

Stirling PDF

pdf.klava.wiki

Stirling PDF

Hosted by Dan in Space!

2024-05-06

1245.

ПРАВИЛА ОФОРМЛЕНИЯ КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ И ПРОЕКТОВ, ТЕХНИЧЕСКИХ ОТЧЕТОВ

arcotel.ru/new_site/images/upload/studentam/metodicheskaya-literatura/met-20.pdf

Актуально...

2024-03-09

1189.

Notes on Decentralized Search

sarahjamielewis.com/decentralization/decentralizedsearch.pdf

2024-02-06

1120.

iScape: A Collaborative Memory Palace for Digital Library Search Results

cns.iu.edu/docs/publications/2001-borner-iscape2.pdf

iScape, short for information landscape, was something interesting, lost in time because it was commerical. It offers users to manage their information in a 3D space, creating a digital palace.

The iScape world is a multi-modal, multi-user, collaborative 3-D virtual environment that is interconnected with standard web pages.

This paper presents iScape, a shared virtual desktop world dedicated to the collaborative exploration and management of information. Data mining and information visualization techniques are applied to extract and visualize semantic relationships in search results. A three-dimensional (3-D) online browser system is exploited to facilitate complex and sophisticated human-computer and human-human interaction.

I had similar ideas, twenty years later, but never actually started implementing them because it's damn hard.

2023-07-12

445.

Newsqueak: A Language for Communicating with Mice

swtch.com/~rsc/thread/newsqueak.pdf

1994. The language is nicely designed. Nice to see the original goroutines here, as this is a Go predecessor. The rodent theme is old, as it seems. The mice in the title are the computer mice.

2023-07-09

439.

Save Your Threads

social.perma.cc

Save birdsite threads to PDF:s. I wonder if it still works.

2023-06-18

364.

Корректура в PDF

grishaev.me/pdf-correct

Если кто не знает, откуда столько ненависти к PDF, сейчас объясню.