Abstract
We present a simple theoretical model of web navigation, in which each WWW user creates style specifications which constrain web browsing, search and navigation using the user’s own judgement of the quality of visited sites. A finite state automaton is associated with each specification, which is presented in a two-level modal logic making up the acceptance condition for the automaton. We show that many interesting queries regarding the user’s web search can be answered using standard automata theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Henzinger: Tutorial on Web Algorithms, joint session of FST & TCS and ISAAC, Chennai (1999).
V.B. Kudryavstsev, Sh. Ushchumlich and G. Kilibarda: “On behaviour of automata in labyrinths”, Discrete Math. Appl. 3,1 (1993) 1–28.
A.O. Mendelzon, G.A. Mihaila and T. Milo: “Querying the world wide web”, in Symposium on Parallel & Distributed Information Systems (1996).
R.C. Miller and K. Bharat: “Sphinx: a framework for creating personal, site-specific web crawlers”, in Proceedings of the 7th International World Wide Web Conference, Brisbane (1998).
M. Pazzani, J. Muramatsu and D. Billsus: “Syskill & Webert: identifying interesting web sites”, in Proceedings of the 13th National Conference on AI, Portland (1996). Revised version in Machine Learning 27 (1997).
C. Silverstein, M. Henzinger, H. Marais and M. Moricz: “Analysis of a very large Alta Vista query log”, SRC Technical Note 1998-014, http://www.research.digital.com/SRC/.
W. Thomas: “Automata theory on trees and partial orders”, in Proceedings of TAPSOFT, LNCS 1214 (1997) 20–38.
M.Y. Vardi and P. Wolper: “An automata-theoretic approach to automatic program verification”, Proceedings of the 1st LICS Conference, Boston (1986) 332–334.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lodaya, K., Ramanujam, R. (2001). An Automaton Model of User-Controlled Navigation on the Web. In: Yu, S., Păun, A. (eds) Implementation and Application of Automata. CIAA 2000. Lecture Notes in Computer Science, vol 2088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44674-5_17
Download citation
DOI: https://doi.org/10.1007/3-540-44674-5_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42491-8
Online ISBN: 978-3-540-44674-3
eBook Packages: Springer Book Archive