http:^^www.cs.rpi.edu^brochure^faculty^mcnaughton.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 49 行

HTML
49 行
字号 
Date: Thu, 21 Nov 1996 19:42:30 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 1860
Last-modified: Fri, 28 Oct 1994 14:32:59 GMT

<HEAD><TITLE> Robert McNaughton</TITLE></HEAD><BODY><P><H2><A NAME=SECTION00041200000000000000><!WA0><IMG SRC="http://www.cs.rpi.edu/brochure/Faculty/faces/mcnaughton.GIF" ALIGN=middle> Robert McNaughton</A></H2><P><I>mcnaught@cs.rpi.edu</I><BR>Emeritus Professor<BR>Ph.D., Harvard University<BR><em>Automata theory, formal languages, combinatorics of words</em><P>McNaughton entered computer science in the 1950s after teaching philosophyfor six years.  His career switch was due to the lean job market more thananything else.  Today, however, his training in philosophy holds him in goodstead.<P>McNaughton, who is author of the textbook <em>Elementary Computability,Formal Languages and Automata</em> published by Prentice-Hall, is nowlooking at problems in the combinatorics of words, a branch of formallanguages.  Formal languages deal with symbolic logic and computerlanguages as opposed to the natural languages used in human speech andgeneral-purpose writing.<P>His research is being coordinated with computer scientistsformerly at the GE Researchand Development Center in nearby Niskayuna, New York.This group at GE was called the Theorem Proving Group. Members of this group are now in the Computer Science Departmentat the University at Albany and in the Computer Science Departmentat RPI.  Their research was concerned with looking at formallinguistic systems for the sake of carrying through proofs on themachine.  For example, they have looked at ways to improve theefficiency of Thue systems, a linguistic method developed byNorwegian logician Axel Thue in 1914.  Thue systems are useful forcomputation because they replace strings (connected characters)with other strings, carrying through a rather basic kind of computeroperation.<P><!WA1><A NAME=tex2html146 HREF="http://www.cs.rpi.edu/brochure/Faculty/index.html"> <!WA2><IMG SRC=http://www.cs.rpi.edu/icons/up_motif.gif ALIGN=middle> Faculty and Their Research </A>

http:^^www.cs.rpi.edu^brochure^faculty^mcnaughton.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.rpi.edu^brochure^faculty^mcnaughton.html 源码文件，采用 HTML 编程语言编写，共 49 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?