Language-Based ModelsIt would be us

Language-Based Models
It would be useful to bridge the gap between the low-level machine models
used in algorithms research and the high-level languages used in software de-
6
velopment. It seems clear that the performance of practical programs could be
greatly improved by greater use of sophisticated algorithmic techniques. But, as
mentioned earlier, the use of higher-order programming impedes the expression
and analysis of algorithms written in these languages.
One important ingredient in addressing this problem is the development of
cost semantics for realistic languages. The importance of a machine model in
algorithms is simply that it provides a means of counting space and time usage
of a program: one instruction, one unit of time; one word, one unit of space.
Rather than dening complexity at the level of the machine, it is possible to
assign cost measures to the constructs of a high-level language directly, so that
the analysis can be made in terms of the high-level code, rather than in terms
of how it is compiled to a low-level machine. The high-level costs are separately
validated by proving that they can be realized on various machine models, with
bounds in
uenced by platform parameters. This separation improves scalabil-
ity as technology changes, and admits more abstract notions of cost than the
individual steps of a machine. Moreover, by working at the language level one
may consider more abstract notions of cost than are easily expressible at the
machine level.

ผลลัพธ์ (ไทย) 1:

รูปแบบใช้ภาษามันจะมีประโยชน์ในการเชื่อมต่อช่องว่างระหว่างรุ่นเครื่องระดับต่ำใช้ในการวิจัยอัลกอริทึมและภาษาระดับสูงที่ใช้ในซอฟต์แวร์เดอ-6velopment ดูเหมือนว่า ประสิทธิภาพของโปรแกรมปฏิบัติอาจจะชัดเจนมากขึ้น โดยใช้เทคนิคซับซ้อน algorithmic มากกว่า แต่ เป็นกล่าวถึงก่อนหน้านี้ การใช้โปรแกรมขั้นสูง impedes นิพจน์และวิเคราะห์ของอัลกอริทึมในการเขียนภาษาเหล่านี้ส่วนผสมสำคัญหนึ่งในการจัดการกับปัญหานี้คือ การพัฒนาต้นทุนความหมายภาษาจริง ความสำคัญของเครื่องรุ่นในอัลกอริทึมนั้นให้หมายถึงการใช้เวลาการตรวจนับโปรแกรม: คำหนึ่ง หนึ่งหน่วยของเวลา หนึ่งคำ หนึ่งหน่วยพื้นที่แทนเดหนิงความสลับซับซ้อนในระดับของเครื่อง จำเป็นต้องกำหนดประเมินต้นทุนของโครงสร้างของภาษาระดับสูงโดยตรง เพื่อให้สามารถทำการวิเคราะห์ ในรหัสระดับสูง ไม่ ใช่ละของวิธีมันเป็นไพล์เพื่อเครื่องระดับต่ำ ต้นทุนสูงแยกต่างหากตรวจสอบ โดยพิสูจน์ว่า พวกเขาสามารถถูกรับรู้ในรูปแบบต่าง ๆ ของเครื่องจักร ด้วยขอบเขตในuenced โดยแพลตฟอร์มพารามิเตอร์ แยกนี้เพิ่ม scalabil-ity เป็นเทคโนโลยีการเปลี่ยนแปลง และยอมรับความเข้าใจนามธรรมมากขึ้นของต้นทุนมากกว่าการขั้นตอนแต่ละเครื่อง ยิ่งไปกว่านั้น โดยที่ภาษาที่ใช้ในระดับหนึ่งอาจพิจารณาความเข้าใจนามธรรมมากขึ้นของต้นทุนมากกว่า expressible ได้ที่นี้ระดับเครื่อง

ผลลัพธ์ (ไทย) 2:

รุ่นภาษาที่ใช้มันจะมีประโยชน์ในการลดช่องว่างระหว่างเครื่องในระดับต่ำแบบจำลองที่ใช้ในการวิจัยขั้นตอนวิธีการและภาษาระดับสูงที่ใช้ในซอฟแวร์de- 6 velopment มันเห็นได้ชัดว่าการทำงานของโปรแกรมในทางปฏิบัติอาจจะปรับตัวดีขึ้นอย่างมากจากการใช้งานที่มากขึ้นของอัลกอริทึมที่มีความซับซ้อนเทคนิค แต่เป็นที่กล่าวถึงก่อนหน้านี้ที่ใช้ในการเขียนโปรแกรมที่สูงขึ้นตามลำดับที่ขัดขวางการแสดงออกและการวิเคราะห์ขั้นตอนวิธีการเขียนในภาษาเหล่านี้. หนึ่งส่วนประกอบสำคัญในการแก้ไขปัญหานี้คือการพัฒนาของความหมายค่าใช้จ่ายสำหรับภาษาที่สมจริง ความสำคัญของรูปแบบเครื่องในขั้นตอนวิธีการก็คือว่ามันมีวิธีการนับพื้นที่และการใช้เวลาของโปรแกรม: หนึ่งในการเรียนการสอนหนึ่งหน่วยของเวลา หนึ่งคำหนึ่งหน่วยของพื้นที่. แทนที่จะซับซ้อนเดอหนิงในระดับของตัวเครื่องก็เป็นไปได้ที่จะกำหนดมาตรการค่าใช้จ่ายในโครงสร้างของภาษาระดับสูงโดยตรงเพื่อให้การวิเคราะห์ที่สามารถทำในแง่ของความสูงรหัส -level มากกว่าในแง่ของวิธีการที่จะรวบรวมกับเครื่องในระดับต่ำ ค่าใช้จ่ายในระดับสูงมีการแยกการตรวจสอบโดยการพิสูจน์ว่าพวกเขาสามารถรับรู้เกี่ยวกับเครื่องรุ่นต่างๆที่มีขอบเขตในuenced โดยพารามิเตอร์แพลตฟอร์ม แยกนี้จะช่วยปรับปรุง scalabil- ity การเปลี่ยนแปลงเทคโนโลยีและการยอมรับความคิดนามธรรมมากขึ้นของค่าใช้จ่ายกว่าแต่ละขั้นตอนของเครื่อง นอกจากนี้โดยการทำงานในระดับภาษาที่หนึ่งอาจจะพิจารณาความคิดนามธรรมมากขึ้นของค่าใช้จ่ายได้อย่างง่ายดายกว่าที่แสดงออกในระดับเครื่อง

ผลลัพธ์ (ไทย) 3:

ภาษาตามรูปแบบ
มันจะมีประโยชน์ที่จะเชื่อมช่องว่างระหว่างระดับเครื่องรุ่นที่ใช้ในขั้นตอนวิธีวิจัย
และภาษาระดับสูงที่ใช้ในซอฟต์แวร์ de velopment -
6
. ดูเหมือนว่าชัดเจนว่าประสิทธิภาพของโปรแกรมการปฏิบัติอาจ
เป็นอย่างมากโดยการใช้งานที่มากขึ้นของเทคนิคขั้นตอนวิธีที่ซับซ้อน แต่เป็น
กล่าวถึงก่อนหน้านี้การใช้โปรแกรมเชิงขัดขวางการแสดงออก
และการวิเคราะห์อัลกอริทึมที่เขียนในภาษาเหล่านี้ .
ส่วนประกอบหนึ่งที่สำคัญในการปัญหานี้คือการพัฒนา
ความหมายค่าใช้จ่ายสำหรับภาษาที่สมจริง ความสำคัญของเครื่องรุ่นใน
ขั้นตอนวิธี ก็คือว่ามันมีวิธีการนับพื้นที่และ
เวลาการใช้งานโปรแกรม : การสอนหนึ่งหน่วยของเวลาหนึ่งคำหนึ่งหน่วยของพื้นที่
มากกว่า เดอ  หนิงความซับซ้อนในระดับของเครื่อง มันเป็นไปได้ในการกำหนดมาตรการเพื่อสร้างต้นทุน
ของภาษาระดับสูงโดยตรงดังนั้น
การวิเคราะห์สามารถทำได้ในแง่ของรหัสระดับสูงมากกว่าในแง่
วิธีการรวบรวมเป็นเครื่องรวม ค่าใช้จ่ายพื้นฐานแยกต่างหาก
ตรวจสอบพิสูจน์ว่าพวกเขาสามารถตระหนักในรูปแบบเครื่องต่าง ๆ ด้วย

uenced ขอบเขตโดยพารามิเตอร์แพลตฟอร์ม จากแยกนี้ช่วยเพิ่ม scalabil -
ity เป็นเทคโนโลยีที่เปลี่ยนแปลง และยอมรับความคิดที่เป็นนามธรรมมากขึ้นต้นทุนกว่า
ขั้นตอนของแต่ละเครื่อง นอกจากนี้ จากการทำงานในระดับภาษาหนึ่ง
อาจพิจารณานามธรรมมากขึ้นความคิดของค่าใช้จ่ายมากกว่าจะ expressible ได้อย่างง่ายดายที่
ระดับเครื่อง